%0 Journal Article %1 journals/mscs/Dam0LP15 %A Dam, Mads %A Jacobs, Bart %A Lundblad, Andreas %A Piessens, Frank %D 2015 %J Mathematical Structures in Computer Science %K dblp %N 3 %P 528-565 %T Security monitor inlining and certification for multithreaded Java. %U http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#Dam0LP15 %V 25

@article{journals/mscs/Dam0LP15, added-at = {2015-03-09T00:00:00.000+0100}, author = {Dam, Mads and Jacobs, Bart and Lundblad, Andreas and Piessens, Frank}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a8897acd5579eb00c3ab90cb3d7188c2/dblp}, ee = {http://dx.doi.org/10.1017/S0960129512000916}, interhash = {33ff09cdde7243342b286f1cc4762a09}, intrahash = {a8897acd5579eb00c3ab90cb3d7188c2}, journal = {Mathematical Structures in Computer Science}, keywords = {dblp}, number = 3, pages = {528-565}, timestamp = {2016-02-02T06:11:46.000+0100}, title = {Security monitor inlining and certification for multithreaded Java.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#Dam0LP15}, volume = 25, year = 2015 }