Κύριοι συγγραφείς:	Γιανναράκης, Νικόλαος Π., Giannarakis, Nikolaos P.
Άλλοι συγγραφείς:	N/A
Μορφή:	bachelorThesis
Έκδοση:	N/A 1970
Θέματα:	Ροή-ελέγχου Ασφάλεια Επαλήθευση Αρχιτεκτονικές με ετικέτες Διαδραστικές αποδείξεις Control-flow Security Verification Tagged architectures Proof assistant
Διαθέσιμο Online:	http://dspace.lib.ntua.gr/handle/123456789/39911