Higher-order proof rules for algebraic specifications

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationRecent Trends in Data Type Specification
Subtitle of host publicationProceedings of the 5th Workshop on Abstract Data Types (WADT)
EditorsFerno Orejas
Volume785
Publication statusPublished - 1992

Cite this

Schobbens, P-Y. (1992). Higher-order proof rules for algebraic specifications. In F. Orejas (Ed.), Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT) (Vol. 785)