ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Lourdes del Carmen González-Huesca

Registered user since Wed 21 Jul 2021

Name:Lourdes del Carmen González-Huesca
Affiliation:National Autonomous University of Mexico
Research interests:Coq, Formal Verification, Modal Logics


ICFP 2022 Mexico in Evaluators within the Artifact Evaluation-track
Show activities from other conferences

ICFP 2022-profile
View general profile