Jason Koenig

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

False Positives

Programming Language

Database Languages

Top Venues

Publications

Jason Koenig, K. Rustan M. Leino
Programming Language Features for Refinement. Refine@FM (2015)
Heather L. Jones, Uland Wong, Kevin M. Peterson, Jason Koenig, Aashish Sheshadri, William Whittaker
Complementary Flyover and Rover Sensing for Superior Modeling of Planetary Features. FSR (2012)