Biblio Export 1 results: RTF EndNote XML Filters: Author is Emil Vassev [Clear All Filters]2010Hinchey, Michael G., Jonathan P. Bowen, and Emil Vassev. "Formal Methods." In Encyclopedia of Software Engineering, ed. Philip A. Laplante, 308-320. Taylor & Francis, 2010.Google Scholar RTF EndNote XML