Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Kanig, Rod Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees. Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. In Martina Seidl, Nikolai Tillmann, editors, Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings. Volume 8570 of Lecture Notes in Computer Science, pages 142-157, Springer, 2014. [doi]

This author has not been identified. Look up 'Johannes Kanig' in GoogleThis author has not been identified. Look up 'Rod Chapman' in GoogleThis author has not been identified. Look up 'Cyrille Comar' in GoogleThis author has not been identified. Look up 'Jérôme Guitton' in GoogleThis author has not been identified. Look up 'Yannick Moy' in GoogleThis author has not been identified. Look up 'Emyr Rees' in Google

runs on WebDSL