APA (7th ed.) Citation

Almeida, J. B. (2011). Rigorous software development: An introduction to program verification. Springer.

Chicago Style (17th ed.) Citation

Almeida, Jose Bacelar. Rigorous Software Development: An Introduction to Program Verification. London: Springer, 2011.

MLA (8th ed.) Citation

Almeida, Jose Bacelar. Rigorous Software Development: An Introduction to Program Verification. Springer, 2011.

Warning: These citations may not always be 100% accurate.