PakCat catalogue record

Rigorous Software Development: An Introduction to Program Verification

By José Bacelar Almeida, Maria João Frade

Bibliographic details

Subjects

NULL