Parosh Aziz Abdulla, K. Rustan M. Leino. Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems. STTT, 15(2):85-88, 2013. [doi]
Abstract is missing.