TAP 2014

Jul 24-25, 2014 – York, UK

Yannick Moy and Johannes Kanig are presenting a paper - Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.