David Frazier

According to our database1, David Frazier authored at least 3 papers between 2008 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput., 2011

2009
Generating Verified Java Components through RESOLVE.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Incremental Benchmarks for Software Verification Tools and Techniques.
Proceedings of the Verified Software: Theories, 2008


  Loading...