Cita APA

Gonthier. (2013). Certified Programs and Proofs (1.). Springer International Publishing.

Citación estilo Chicago

Gonthier. Certified Programs and Proofs. 1. Springer International Publishing, 2013.

Cita MLA

Gonthier. Certified Programs and Proofs. 1. Springer International Publishing, 2013.

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