David E. Frazier is an author at Denison University specializing in sedimentology, geography, and archaeology.
Top concepts
GeographyArchaeologyEngineeringGeomorphologySedimentologySediment AnalysisSediment TransportGeologyDrillingLanguage
Publications per year
1961–2010
3
3
Building a push-button RESOLVE verifier: Progress and challenges
Murali Sitaraman, Bruce Adcock, Jeremy Avigad et al. · Formal Aspects of Computing · 2010 · 49 citations · Full text
Rows per page
1–3 of 3