SpringerLink (Online service) & Almeida, J. B. (2011). Rigorous software development: An introduction to program verification. Springer-Verlag.
Style de citation Chicago (17e éd.)SpringerLink (Online service) et Jos©♭ Bacelar Almeida. Rigorous Software Development: An Introduction to Program Verification. London: Springer-Verlag, 2011.
Style de citation MLA (8e éd.)SpringerLink (Online service) et Jos©♭ Bacelar Almeida. Rigorous Software Development: An Introduction to Program Verification. Springer-Verlag, 2011.
Attention : ces citations peuvent ne pas être correctes à 100%.