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
| VMCAI 2021 | Committee Member in Program Committee within the VMCAI-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile