Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Corina S. Pasareanu

Registered user since Tue 27 Aug 2019

Name:Corina S. Pasareanu
Affiliation:Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Contributions

FormaliSE 2020 On the Probabilistic Analysis of Neural Networks
ICSE 2020 HyDiff: Hybrid Differential Software Analysis
Show activities from other conferences

ICSE 2020-profile
View general profile