Biblio Export 2 results: RTF EndNote XML 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.Google Scholar RTF EndNote XML 2003Understanding Formal Methods. Springer, 2003.Google Scholar RTF EndNote XML
