Formal Methods in Programming and Their Applications 1993: Novosibirsk, Russia

Formal Semantics Methods

Algebraic Specification Methods

Semantic Program Analysis and Abstract Interpretation

Semantics of Parallelism

Logic of Programs

Software Specification and Verification

Transformational Development and Program Synthesis