A Polymorphic Intermediate Verification Language: Design and Logical Encoding

by K. Rustan M. Leino , Philipp Rümmer
Citations:25 - 2 self