Home
Scholarly Works
Formal Methods: A Commentary
Journal article
Formal Methods: A Commentary
Authors
Maibaum T; Sadler M
Journal
Journal of Information Technology, Vol. 2, No. 2, pp. 77–80
Publisher
SAGE Publications
Publication Date
January 1, 1987
DOI
10.1057/jit.1987.15
ISSN
0268-3962
Associated Experts
Thomas Maibaum
Professor Emeritus, Faculty of Engineering
Visit profile
Labels
Fields of Research (FoR)
46 Information and computing sciences
35 Commerce, management, tourism and services
52 Psychology
View published work (Non-McMaster Users)
View published work (McMaster Users)
Scholarly citations from Dimensions
Contact the Experts team
Get technical help
or
Provide website feedback