Biblio Export 1 results: RTF EndNote XML Filters: Автор is Simão Melo de Sousa [Clear All Filters]2011"An Overview of Formal Methods Tools and Techniques." In Rigorous Software Development: An Introduction to Program Verification, 15-44. London, 2011.DOI Google Scholar RTF EndNote XML
