MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
MODELS 2022 (series) / Sophie Lathouwers
Sophie Lathouwers

Registered user since Thu 6 Oct 2022

Name:Sophie Lathouwers
Country:Netherlands
Affiliation:University of Twente
Personal website: https://wwwhome.ewi.utwente.nl/~lathouwerssam/
GitHub: https://github.com/Sophietje
Research interests:Program verification, deductive verification, specification languages

Contributions

Show activities from other conferences

MODELS 2022-profile
View general profile