Πλοήγηση ανά Θέμα Model checking
Εμφάνιση αποτελεσμάτων 1 έως 1 από 1
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
27-Ιου-2022 | A Test Suite for Model Checking Persistent Memory Programs | Παυλάτος, Σπυρίδων | Σαγώνας Κωστής |