ECOOP and ISSTA 2023 (series) / Laura Titolo
![Laura Titolo](https://conf.researchr.org/getProfileImage/lauratitolo/c66222ad-c8cb-4277-b8c2-613eb75c3be4/small.jpg?1711472526000)
Registered user since Mon 27 Nov 2017
Name:Laura Titolo
Country:United States
Affiliation:NIA/NASA LaRC
Personal website: https://lauratitolo.github.io/
Research interests:Abstract Interpretation, Static Analysis, Formal Methods
Contributions
ECOOP and ISSTA 2023-profile
View general profile
View general profile