Rigorous Software Development An Introduction to Program Verification Almeida, José Bacelar Heftet / 2011 / Engelsk
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers Bove Ana Heftet / 2009 / Engelsk
