SPLASH 2023 (series) / Lina Marsso
Registered user since Fri 7 Jan 2022
Affiliation:University of Toronto
Research interests:Formal methods, model-based testing, program analysis and verification.
|FTSCS 2023||Committee Member in Program Committee within the FTSCS 2023-track|
|Show activities from other conferences|
Using general profile