Blair Durkee

According to our database1, Blair Durkee authored at least 3 papers between 2013 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Formalization IDEs Integrated with a Verifying Compiler.
Proceedings of the 12th Workshop on Implementation, 2017

2015
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2013


  Loading...