A polymorphic intermediate verification language: Design and logical encoding (2010)

by K Rustan M Leino, Philipp Rümmer
Venue:In TACAS’10: Tools and Algorithms for the Construction and Analysis of Systems