Cita APA

Almeida, J. B. Rigorous Software Development: An Introduction to Program Verification.

Citación estilo Chicago

Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.

Cita MLA

Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.

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