Corina S. Pasareanu

Registered user since Tue 27 Aug 2019

Name:Corina S. Pasareanu
Affiliation:Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Contributions

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile