Correct Programs, Executed Correctly: Verifying Specifications and Executions

Λεπτομέρειες βιβλιογραφικής εγγραφής

Εκδόθηκε σε:	ProQuest Dissertations and Theses (2025)
Κύριος συγγραφέας:	Ioannidis, Eleftherios
Έκδοση:	ProQuest Dissertations & Theses
Θέματα:	Computer science Language Information technology
Διαθέσιμο Online:	Citation/Abstract Full Text - PDF
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!