Home
Scholarly Works
Using KIDS as a Tool Support for VDM.
Conference
Using KIDS as a Tool Support for VDM.
Authors
Ledru Y
Editors
Rombach HD; Maibaum TSE; Zelkowitz MV
Pagination
pp. 236-245
Publisher
IEEE Computer Society
Publication Date
January 1, 1996
ISBN-10
0-8186-7246-3
Conference proceedings
ICSE
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