Cite
APA Citation
DAM, M., JACOBS, B., LUNDBLAD, A., & PIESSENS, F. (2015). security monitor inlining and certification for multithreaded Java. Mathematical structures in computer science, 25, 528–565. http://access.bl.uk/ark:/81055/vdc_100025105587.0x000052