Almeida, J. B. Rigorous Software Development: An Introduction to Program Verification.
Cita Chicago Style (17a ed.)Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
Cita MLA (9a ed.)Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
Precaución: Estas citas no son 100% exactas.