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