Cita APA (7a ed.)

Aguirre, N. M., & Oviedo, J. (2004). The B method as an environment for the verification of eiffel programs: A case study.

Cita Chicago Style (17a ed.)

Aguirre, Nazareno Matías, y Juan Oviedo. The B Method as an Environment for the Verification of Eiffel Programs: A Case Study. 2004.

Cita MLA (8a ed.)

Aguirre, Nazareno Matías, y Juan Oviedo. The B Method as an Environment for the Verification of Eiffel Programs: A Case Study. 2004.