ICFP 2021
Sun 22 - Sat 28 August 2021
Mário Pereira

Registered user since Mon 4 Jan 2021

Name:Mário Pereira
Affiliation:NOVA LINCS & DI -- Nova School of Science and Technology

Contributions

ML 2021 Cameleer: a Deductive Verification Tool for OCaml
OCaml 2021 Deductive Verification of Realistic OCaml Code
Show activities from other conferences

Using general profile