8
Publications
213
Citations
8
H-Index
2004
Active since
Esther Conrad is an author at University of California, Berkeley specializing in engineering, water resources, and environmental policy.
Top concepts
EngineeringWater ResourcesEnvironmental PolicyGeographyHydrologyManagementVerificationFormal MethodsSoftware DesignComputer Science
Publications per year
2004–2022
8
8
A compositional proof framework for FRETish requirements
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou et al. · 2022 · 18 citations
Rows per page
1–5 of 8