APA (7th ed.) Citation

Post, H., Sinz, C., & Küchlin, W. (2009). Towards automatic software model checking of thousands of Linux modules—a case study with Avinux. Software Testing: Verification & Reliability, 19(2), 155. https://doi.org/10.1002/stvr.399

Chicago Style (17th ed.) Citation

Post, Hendrik, Carsten Sinz, and Wolfgang Küchlin. "Towards Automatic Software Model Checking of Thousands of Linux Modules—a Case Study with Avinux." Software Testing: Verification & Reliability 19, no. 2 (2009): 155. https://doi.org/10.1002/stvr.399.

MLA (9th ed.) Citation

Post, Hendrik, et al. "Towards Automatic Software Model Checking of Thousands of Linux Modules—a Case Study with Avinux." Software Testing: Verification & Reliability, vol. 19, no. 2, 2009, p. 155, https://doi.org/10.1002/stvr.399.