Browsing by Subject Liquid Haskell
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
26-Mar-2021 | Επαλήθευση Ιδιοτήτων Πολυπλοκότητας Δυαδικών Δέντρων Αναζήτησης σε Liquid Haskell | Οικονόμου, Χρυσούλα | Παπασπύρου Νικόλαος |
16-Jul-2018 | ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΣΕ LIQUID HASKELL | Πέτρου, Γεώργιος | Παπασπύρου Νικόλαος |