Κύριοι συγγραφείς:	Γερακιός, Πρόδρομος Ε., Gerakios, Prodromos E.
Άλλοι συγγραφείς:	N/A
Μορφή:	doctoralThesis
Έκδοση:	N/A 1970
Θέματα:	Συστήματα τύπων Στατική ανάλυση Ορθότητα Συνθήκες ανταγωνισμού Αδιέξοδα Type systems Static analysis Soundness Data races Deadlocks
Διαθέσιμο Online:	http://hdl.handle.net/123456789/6794