![Corina S. Păsăreanu](https://popl17.sigplan.org/getProfileImage/corinaspasareanu1/aef5b5d9-3a8a-4514-97f7-88156d6df811/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
2017
POPL 2017-profile
View general profile
View general profile
Registered user since Fri 14 Aug 2015
Contributions