APA-Zitierstil (7. Ausg.)
Ioannidis, E. (2025). Correct Programs, Executed Correctly: Verifying Specifications and Executions. ProQuest Dissertations and Theses.
Chicago-Zitierstil (17. Ausg.)
Ioannidis, Eleftherios. "Correct Programs, Executed Correctly: Verifying Specifications and Executions." ProQuest Dissertations and Theses 2025.
MLA-Zitierstil (9. Ausg.)
Ioannidis, Eleftherios. "Correct Programs, Executed Correctly: Verifying Specifications and Executions." ProQuest Dissertations and Theses, 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.