Cita APA (7a ed.)
Heym, W. D. (1995). Computer program verification: Improvements for human reasoning. ProQuest Dissertations and Theses.
Cita Chicago Style (17a ed.)
Heym, Wayne David. "Computer Program Verification: Improvements for Human Reasoning." ProQuest Dissertations and Theses 1995.
Cita MLA (9a ed.)
Heym, Wayne David. "Computer Program Verification: Improvements for Human Reasoning." ProQuest Dissertations and Theses, 1995.
Precaución: Estas citas no son 100% exactas.