POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Jean-Christophe Filliatre

Registered user since Sat 18 Jul 2020

Name:Jean-Christophe Filliatre
Country:France
Affiliation:CNRS
Research interests:deductive program verification

Contributions

Show activities from other conferences

POPL 2024-profile
View general profile