Title: A machine checked soundness proof for an intermediate verification language
Authors: Vogels, Frédéric
Jacobs, Bart
Piessens, Frank #
Issue Date: 2009
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:5404 pages:570-581
Conference: SOFSEM 2009 edition:35 location:Špindlerův Mlýn, Czech Republic date:24-30 January 2009
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Description Status SizeFormat
paper.pdfPaper Published 208KbAdobe PDFView/Open


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

© Web of science