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]
No references recorded for this publication.
No citations of this publication recorded.