Ουρανός, Ι. Χ., & N/A. (1970). Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών. N/A.
Παραπομπή Chicago StyleΟυρανός, Ιάκωβος Χ., and N/A. Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών. N/A, 1970.
Παραπομπή MLAΟυρανός, Ιάκωβος Χ., and N/A. Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών. N/A, 1970.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.