Rigorous Software Development An Introduction to Program Verification Almeida, José Bacelar Heftet / 2011 / Engelsk
