Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia

Registered user since Fri 7 Jan 2022

Name:Lina Marsso
Affiliation:University of Toronto
Research interests:Formal methods, model-based testing, program analysis and verification.


D-SyMLe 2023 Chair in Organizers within the D-SyMLe 2023-track
Show activities from other conferences

Using general profile