APA (7th ed.) Citation

Brat, G., & Visser, W. (2001). Combining static analysis and model checking for software analysis. Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 262-269. https://doi.org/10.1109/ASE.2001.989812

Chicago Style (17th ed.) Citation

Brat, G., and W. Visser. "Combining Static Analysis and Model Checking for Software Analysis." Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) 2001: 262-269. https://doi.org/10.1109/ASE.2001.989812.

MLA (9th ed.) Citation

Brat, G., and W. Visser. "Combining Static Analysis and Model Checking for Software Analysis." Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001, pp. 262-269, https://doi.org/10.1109/ASE.2001.989812.