Almeida, J. B., Frade, M. J., Pinto, J. S., & Melo de Sousa, S. (2011). Rigorous Software Development: An Introduction to Program Verification. Springer London : Imprint: Springer.
Chicago Style (17th ed.) CitationAlmeida, José Bacelar, Maria João Frade, Jorge Sousa Pinto, and Simão Melo de Sousa. Rigorous Software Development: An Introduction to Program Verification. London: Springer London : Imprint: Springer, 2011.
MLA (8th ed.) CitationAlmeida, José Bacelar, et al. Rigorous Software Development: An Introduction to Program Verification. Springer London : Imprint: Springer, 2011.
Warning: These citations may not always be 100% accurate.
