Biblio
Export 2 results:
Filters: Author is Michael G. Hinchey [Clear All Filters]
Formal Methods." In Encyclopedia of Software Engineering, ed. Philip A. Laplante, 308-320. Taylor & Francis, 2010.
"Understanding Formal Methods. Springer, 2003.