Rigorous Software Development - An Introduction to Program Verification 英文版 非扫描版 高清文字带图 By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa