Verification for Multithreaded Java Code using Java Memory Model
Vol. 15, No. 1, pp. 99-106, Feb. 2008
10.3745/KIPSTD.2008.15.1.99
Abstract
Statistics
|
Cite this article
[IEEE Style]
M. Lee and G. H. Kwon, "Verification for Multithreaded Java Code using Java Memory Model," The KIPS Transactions:PartD, vol. 15, no. 1, pp. 99-106, 2008. DOI: 10.3745/KIPSTD.2008.15.1.99.
[ACM Style]
Min Lee and Gi Hwon Kwon. 2008. Verification for Multithreaded Java Code using Java Memory Model. The KIPS Transactions:PartD, 15, 1, (2008), 99-106. DOI: 10.3745/KIPSTD.2008.15.1.99.