David Crocker

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Detection Algorithm

Top Venues

Publications

David Crocker
Can C++ be made as safe as SPARK? HILT (2014)
David Crocker, Judith Carlton
Verification of C Programs Using Automated Reasoning. SEFM (2007)
David Crocker, John H. Warren
Generating commercial web applications from precise requirements and formal specifications. WWV (2005)