Rigorous Software Development. An Introduction to Program VerificationJosé Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto, Simao Melo de Sousa38,30 €
