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

maintained by Schloss Dagstuhl LZI at University of Trier