Statistics
Publications
4
Citations
83
H-Index
4
Active since
2016
Affiliations
Elaheh Ghassabani is an author at University of Minnesota specializing in computer science, formal methods, and deductive verification.
Publications per year
2016–2017
4
4
Proof-based coverage metrics for formal verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen et al. · 2017 · 14 citations
Complete Traceability for Requirements in Satisfaction Arguments
Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani et al. · 2016 · 13 citations
1–4 of 4