1. Security monitor inlining and certification for multithreaded Java. (March 2015) Authors: DAM, MADS; JACOBS, BART; LUNDBLAD, ANDREAS; PIESSENS, FRANK Journal: Mathematical structures in computer science Issue: Volume 25:Number 3(2015) Page Start: 528 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗