APA (7th ed.) Citation

Song, F., & Touili, T. (2014). Pushdown model checking for malware detection. International Journal on Software Tools for Technology Transfer, 16(2), 147. https://doi.org/10.1007/s10009-013-0290-1

Chicago Style (17th ed.) Citation

Song, Fu, and Tayssir Touili. "Pushdown Model Checking for Malware Detection." International Journal on Software Tools for Technology Transfer 16, no. 2 (2014): 147. https://doi.org/10.1007/s10009-013-0290-1.

MLA (9th ed.) Citation

Song, Fu, and Tayssir Touili. "Pushdown Model Checking for Malware Detection." International Journal on Software Tools for Technology Transfer, vol. 16, no. 2, 2014, p. 147, https://doi.org/10.1007/s10009-013-0290-1.