Almeida, J. B. Rigorous Software Development: An Introduction to Program Verification.
Chicago Style (17th ed.) CitationAlmeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
MLA (9th ed.) CitationAlmeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
Warning: These citations may not always be 100% accurate.