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 |
Use attributes for filter ! | |
Affiliations | National Aeronautics And Space Administration |
---|---|
Interests | Symbolic Execution |
Compositional Verification | |
Abstraction | |
Date of Reg. | |
Date of Upd. | |
ID | 3675426 |