2. ESOP 1988: Nancy, France

Invited Speakers

Program Development and Verification

Algebraic Specification and Type Concepts

Language Concepts

Implementation of Programming Languages

Systems Exhibition