Browsing by Subject formal methods
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
28-Nov-2012 | Υλοποίηση Μιας Μεθοδολογίας Αναλλοίωτων Βασισμένη Σε Backpointers | Ελευθέριος Κρητικός | Παπασπύρου Νικόλαος |