3
Publications
112
Citations
3
H-Index
2006
Active since
Jessica Gronski is an author specializing in formal verification, software engineering, and computer engineering.
Top concepts
CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware SystemsSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2006–2007
3
3
Sage: Hybrid Checking for Flexible Specifications
Jessica Gronski, Kenneth Knowles, Aaron Tomb et al. · 2006 · 65 citations
Unifying Hybrid Types and Contracts.
Jessica Gronski, Cormac Flanagan · 2007 · 27 citations
Rows per page
1–3 of 3