APA (7th ed.) Citation

Chlipala, A. (2013). Proving in the Large. Certified Programming with Dependent Types. https://doi.org/10.7551/mitpress/9153.003.0021

Chicago Style (17th ed.) Citation

Chlipala, Adam. "Proving in the Large." Certified Programming with Dependent Types 2013. https://doi.org/10.7551/mitpress/9153.003.0021.

MLA (9th ed.) Citation

Chlipala, Adam. "Proving in the Large." Certified Programming with Dependent Types, 2013, https://doi.org/10.7551/mitpress/9153.003.0021.

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