Title: Security monitor inlining and certification for multithreaded Java
Authors: Dam, Mads ×
Jacobs, Bart
Lundblad, Andreas
Piessens, Frank #
Issue Date: Mar-2015
Publisher: Cambridge University Press
Series Title: Mathematical Structures in Computer Science vol:25 issue:3 pages:528-565
ISSN: 0960-1295
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
camera-ready.pdf Accepted 523KbAdobe PDFView/Open


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

© Web of science