Home
Scholarly Works
Modular Construction of Logics for Specification.
Conference
Modular Construction of Logics for Specification.
Authors
Maibaum TSE
Editors
Drosten K; Ehrich H-D; Gogolla M; Lipeck UW
Publication Date
January 1, 1986
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