Browsing by Subject συμπερασμός τύπων
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
18-Sep-2012 | Πολυμορφικός Συμπερασμός Τύπων Επιτυχίας Στη Γλώσσα Erlang | Κοτσιφάκου Μαρία | Σαγώνας Κωστής |
28-Jan-2011 | Τεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής Ανάλυσης | Αρώνης Σταύρος | Σαγώνας Κωστής |