Framework for combining analysis and verification - Heintze, N. (2013)
Conference Record of the Annual ACM Symposium on Principles of Programming Languages