Πέτρου, Γ., & Παπασπύρου, Ν. (2018). Επαλήθευση ιδιοτήτων αλγορίθμων σε Liquid Haskell. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών.
Παραπομπή Chicago StyleΠέτρου, Γεώργιος, and Νικόλαος Παπασπύρου. Επαλήθευση ιδιοτήτων αλγορίθμων σε Liquid Haskell. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, 2018.
Παραπομπή MLAΠέτρου, Γεώργιος, and Νικόλαος Παπασπύρου. Επαλήθευση ιδιοτήτων αλγορίθμων σε Liquid Haskell. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, 2018.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.