2. AMAST 1991: Iowa City, USA

Algebraic Logic for Software Reliability

Algebraic Design of Parallel Systems

Specification of Software Systems

Construction of System Software

Reasoning about Software Development

Tools for Software Development

Algebraic Software Technology

maintained by Schloss Dagstuhl LZI at University of Trier