Corina S. Păsăreanu
| Use attributes for filter ! | |
| Affiliations | National Aeronautics And Space Administration |
|---|---|
| Interests | Symbolic Execution |
| Compositional Verification | |
| Abstraction | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3675426 |
About Corina S. Păsăreanu
Corina S. Păsăreanu Photos
