Thuan Huynh und Abhik Roychoudhury (2007) „Memory model sensitive bytecode verification.“, Formal Methods in System Design, 31(3), S. 281-305. doi:10.1007/s10703-007-0041-6.
Chicago Manual of Style 17th edition (full note)Thuan Huynh, und Abhik Roychoudhury. „Memory Model Sensitive Bytecode Verification.“. Formal Methods in System Design 31, Nr. 3 (31. Dezember 2007): 281-305. https://doi.org/10.1007/s10703-007-0041-6.
American Psychological Association 7th editionThuan Huynh, & Abhik Roychoudhury. (2007). Memory model sensitive bytecode verification. Formal Methods in System Design, 31(3), 281-305. https://doi.org/10.1007/s10703-007-0041-6
Modern Language Association 9th editionThuan Huynh, und Abhik Roychoudhury. „Memory Model Sensitive Bytecode Verification.“. Formal Methods in System Design, Bd. 31, Nr. 3, Dezember 2007, S. 281-05, https://doi.org/10.1007/s10703-007-0041-6.
ISO-690 (author-date, Deutsch)THUAN HUYNH und ABHIK ROYCHOUDHURY, 2007. Memory model sensitive bytecode verification. Formal Methods in System Design. 31 Dezember 2007. Bd. 31, Nr. 3, S. 281-305. DOI 10.1007/s10703-007-0041-6