A Polymorphic Intermediate Verification Language: Design and Logical Encoding.

K. Rustan M. Leino, Philipp Rmmer

Browse the full TACAS paper archive.