Αντώνιος Σταμπούλης
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2013/02/08 | VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants | |
| 1 seminar. | ||
| You are here: Persons » Αντώνιος Σταμπούλης |
| ημερομηνία | τίτλος | |
|---|---|---|
| 2013/02/08 | VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants | |
| 1 seminar. | ||