Home
Scholarly Works
Structuring of Specifications within a Logical...
Conference
Structuring of Specifications within a Logical Theory of Data Types.
Authors
Maibaum TSE
Editors
Broy M; Wirsing M
Publisher
University of Passau
Publication Date
January 1, 1983
Conference proceedings
ADT
Associated Experts
Thomas Maibaum
Professor Emeritus, Faculty of Engineering
Visit profile
View published work (Non-McMaster Users)
Contact the Experts team
Get technical help
or
Provide website feedback