Cite
MLA Citation
MADS DAM et al.. “Security monitor inlining and certification for multithreaded Java.” Mathematical structures in computer science, vol. 25, 2015, pp. 528–565. http://access.bl.uk/ark:/81055/vdc_100025105587.0x000052
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
MADS DAM et al.. “Security monitor inlining and certification for multithreaded Java.” Mathematical structures in computer science, vol. 25, 2015, pp. 528–565. http://access.bl.uk/ark:/81055/vdc_100025105587.0x000052