Corina Pasareanu

Registered user since Fri 14 Aug 2015

Name: Corina Pasareanu

Affiliation: NASA Ames Research Center

Personal website: http://ti.arc.nasa.gov/profile/pcorina/

POPL 2018 Activities

Using general profile