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