conf.researchr.org / Antoine Van Muylder
Not registered as user yet
Name:Antoine Van Muylder
Affiliation:Inria Paris and Paris 7
Contributions
| POPL 2020 | Author of The Next 700 Relational Program Logics within the Research Papers-track |
Not registered as user yet
Contributions
| POPL 2020 | Author of The Next 700 Relational Program Logics within the Research Papers-track |