Biblio

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