A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Work
Year: 2010
Type: book-chapter
Authors K. Rustan M. Leino, Philipp Rümmer
Institutions Microsoft Research (United Kingdom), University of Oxford
Cites: 25
Cited by: 85
Related to: 10
FWCI: 11.56
Citation percentile (by year/subfield): 96.32
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze