Maria João Frade

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Rigorous Software Development: An Introduction to Program Verification	978-O-85729-O17-5 (O-85729-O17-7)	2011	José Bacelar Almeida · Jorge Sousa Pinto