Cita APA (7a ed.)
Ioannidis, E. (2025). Correct Programs, Executed Correctly: Verifying Specifications and Executions. ProQuest Dissertations and Theses.
Cita Chicago Style (17a ed.)
Ioannidis, Eleftherios. "Correct Programs, Executed Correctly: Verifying Specifications and Executions." ProQuest Dissertations and Theses 2025.
Cita MLA (9a ed.)
Ioannidis, Eleftherios. "Correct Programs, Executed Correctly: Verifying Specifications and Executions." ProQuest Dissertations and Theses, 2025.
Precaución: Estas citas no son 100% exactas.