ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Arthur Correnson

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

Using general profile