A Polymorphic Intermediate Verification Language: Design and Logical Encoding

by K. Rustan M. Leino , Philipp Rümmer
Citations:26 - 3 self