Biblio

Found 1 results
Filters: Author is José Bacelar Almeida  [Clear All Filters]
2011
Almeida, José Bacelar, Maria João Frade, Jorge Sousa Pinto, and Simão Melo de Sousa. "An Overview of Formal Methods Tools and Techniques." In Rigorous Software Development: An Introduction to Program Verification, 15-44. London, 2011.