
Registered user since Mon 27 Jun 2022
Name:Arthur Correnson
Affiliation:École Normale Supérieure de Rennes & Saarland University
Contributions
ICFP 2022 | Formal Verification of a Lazy Abstraction Model Checker | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile