Antonios Stampoulis
seminars given
| date | title | |
|---|---|---|
| 2013/02/08 | VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants | |
| 1 seminar. | ||
| You are here: Persons » Antonios Stampoulis |
| date | title | |
|---|---|---|
| 2013/02/08 | VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants | |
| 1 seminar. | ||