![Corina S. Păsăreanu](https://popl23.sigplan.org/getProfileImage/corinaspasareanu1/da355fde-0c0e-460a-82b9-dcc5c56acd1b/small.jpg?1711472287000)
Registered user since Fri 14 Aug 2015
Name:Corina S. Păsăreanu
Country:United States
Affiliation:Carnegie Mellon University
Personal website: http://ti.arc.nasa.gov/profile/pcorina/
Contributions
POPL 2023-profile
View general profile
View general profile