ITEM METADATA RECORD
Title: Boogie: a modular reusable verifier for object-oriented programs
Authors: Barnett, Mike ×
Chang, Bor-Yuh Evan
DeLine, Robert
Jacobs, Bart
Leino, K. Rustan M #
Issue Date: 2006
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:4111 pages:364-387
Conference: 4th International Symposium on Formal Methods for Components and Objects location:Amsterdam date:November 1-4, 2005
URI: 
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy

 




All items in Lirias are protected by copyright, with all rights reserved.

© Web of science