Biblio

Export 1 results:
Filters: Автор is Maria João Frade  [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.