Proof Systems for Struvtured Algebraic Specifications: An Overview.

Rolf Hennicker, Martin Wirsing

Browse the full FCT paper archive.