MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Sophie Lathouwers

Registered user since Thu 6 Oct 2022

Name:Sophie Lathouwers
Country:Netherlands
Affiliation:University of Twente
Research interests:Program verification, deductive verification, specification languages

Contributions

MODELS 2022 Modelling Program Verification Tools for Software Engineers
Modelling Program Verification Tools for Software Engineers
Show activities from other conferences

MODELS 2022-profile
View general profile