Almeida, J. B. Rigorous Software Development: An Introduction to Program Verification.
Cita Chicago (17th ed.)Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
Cita MLA (9th ed.)Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
Atenció: Aquestes cites poden no estar 100% correctes.