![Corina S. Păsăreanu](https://popl18.sigplan.org/getProfileImage/corinaspasareanu1/5a2c5a84-cfd0-4798-b96c-f240b6757a46/small.jpg?1711472287000)
Registered user since Fri 14 Aug 2015
Name:Corina S. Păsăreanu
Affiliation:NASA Ames Research Center
Personal website: http://ti.arc.nasa.gov/profile/pcorina/
Contributions
POPL 2018-profile
View general profile
View general profile
Registered user since Fri 14 Aug 2015
Contributions