APA (7th ed.) Citation

Tkachuk, O., Dwyer, M. B., & Pasareanu, C. S. (2003, October 6). Automated environment generation for software model checking. 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, 116-127. https://doi.org/10.1109/ASE.2003.1240300

Chicago Style (17th ed.) Citation

Tkachuk, Oksana, Matthew B. Dwyer, and Corina S. Pasareanu. "Automated Environment Generation for Software Model Checking." 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings 6 Oct. 2003: 116-127. https://doi.org/10.1109/ASE.2003.1240300.

MLA (9th ed.) Citation

Tkachuk, Oksana, et al. "Automated Environment Generation for Software Model Checking." 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, 6 Oct. 2003, pp. 116-127, https://doi.org/10.1109/ASE.2003.1240300.