Correct or usable? the limits of traditional verification (impact paper award)

Daniel Jackson, Mandana Vaziri. Correct or usable? the limits of traditional verification (impact paper award). In Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su, editors, Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. pages 11, ACM, 2016. [doi]

Abstract

Abstract is missing.