APA (7th ed.) Citation

Yang, J., & Solar-Lezama, A. (2011). Specification-enhanced execution. Massachusetts Institute of Technology.

Chicago Style (17th ed.) Citation

Yang, Jean, and Armando Solar-Lezama. Specification-enhanced Execution. Massachusetts Institute of Technology, 2011.

MLA (9th ed.) Citation

Yang, Jean, and Armando Solar-Lezama. Specification-enhanced Execution. Massachusetts Institute of Technology, 2011.

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