Πλοήγηση ανά Θέμα εφαρμοσμένος π-λογισμός
Εμφάνιση αποτελεσμάτων 1 έως 1 από 1
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
10-Φεβ-2020 | Ανάλυση Πρωτοκόλλων Ηλεκτρονικής Ψηφοφορίας με την ProVerif | Χίου, Χρυσόστομος | Παπασπύρου Νικόλαος |