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