An Honeckers Seite

Algebraic Foundations of Systems Specification

The aim of software engineering is the provision and investigation of methods for the development...

ESOP ’92

This volume contains selected papers from ESOP '92. ESOP addresses fundamental issues and importa...

Program Development by Specification and Transformation

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram ...