Caleb H. Priester

According to our database1, Caleb H. Priester authored at least 3 papers between 2015 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Loop Invariants: Learning to Help Teach (Abstract Only).
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Tool-Assisted Loop Invariant Development and Analysis.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

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


  Loading...