conf.researchr.org / Mário Pereira
Not registered as user yet
Name:Mário Pereira
Affiliation:LRI - Université Paris-Sud
Contributions
| ICFP 2021 | Presenter of Deductive Verification of OCaml Programs in Cameleer within the Tutorials-track |
| ML 2017 | Author of VOCAL -- a verified OCAml Library within the ML 2017-track |