Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.

Johannes Kanig, Roderick Chapman, Cyrille Comar, Jrme Guitton, Yannick Moy, Emyr Rees

Browse the full TAP paper archive.