NASA Formal Methods 2024 (series) / Corina S. Pasareanu
![Corina S. Pasareanu](https://conf.researchr.org/getProfileImage/corinaspasareanu/ecd52f59-2d74-411e-9f3b-c409d5be6b05/small.jpg?1719000360000)
Registered user since Tue 27 Aug 2019
Name:Corina S. Pasareanu
Affiliation:Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Personal website: https://www.cylab.cmu.edu/directory/bios/pasareanu-corina.html
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile