Jason Koenig

According to our database, Jason Koenig authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Programming Language Features for Refinement.

Jason Koenig, K. Rustan M. Leino

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

2012

Getting Started with Dafny: A Guide.

Jason Koenig, K. Rustan M. Leino

Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

Complementary Flyover and Rover Sensing for Superior Modeling of Planetary Features.

Heather L. Jones, Uland Wong, Kevin M. Peterson, Jason Koenig, Aashish Sheshadri, William Whittaker

Proceedings of the Field and Service Robotics, 2012