APA (7th ed.) Citation

Hu, L. (2013). Compiling concurrency correctly: Verifying software transactional memory.

Chicago Style (17th ed.) Citation

Hu, Liyang. Compiling Concurrency Correctly: Verifying Software Transactional Memory. 2013.

MLA (9th ed.) Citation

Hu, Liyang. Compiling Concurrency Correctly: Verifying Software Transactional Memory. 2013.

Warning: These citations may not always be 100% accurate.