Ρακτιβάν, Κ., & Σαγώνας, Κ. (2017). Δυναμικός συμβολικός έλεγχος με χρήση πολλαπλών SMT επιλυτών. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών.
Παραπομπή Chicago StyleΡακτιβάν, Κωνσταντίνος, and Κωνσταντίνος Σαγώνας. Δυναμικός συμβολικός έλεγχος με χρήση πολλαπλών SMT επιλυτών. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, 2017.
Παραπομπή MLAΡακτιβάν, Κωνσταντίνος, and Κωνσταντίνος Σαγώνας. Δυναμικός συμβολικός έλεγχος με χρήση πολλαπλών SMT επιλυτών. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, 2017.