Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. - Johannes Kanig; Roderick Chapman; Cyrille Comar; Jérôme Guitton; Yannick Moy; Emyr Rees (TAP@STAF, 2014)