Browsing by Subject Αυτοματοποιημένες αποδείξεις
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
28-Jul-2022 | Μηχανική κατασκευή συνεπαγωγικών (coinductive) αποδείξεων στη Liquid Haskell | Μαστόρου, Λυκούργος | Παπασπύρου Νικόλαος |