Gadelha, M. R., Monteiro, F. R., Morse, J., Cordeiro, L. C., Fischer, B., & Nicole, D. A. (2018, September). ESBMC 5.0: An Industrial-Strength C Model Checker. 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 888-891. https://doi.org/10.1145/3238147.3240481
Citace podle Chicago (17th ed.)Gadelha, Mikhail R., Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, a Denis A. Nicole. "ESBMC 5.0: An Industrial-Strength C Model Checker." 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) Sep. 2018: 888-891. https://doi.org/10.1145/3238147.3240481.
Citace podle MLA (9th ed.)Gadelha, Mikhail R., et al. "ESBMC 5.0: An Industrial-Strength C Model Checker." 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), Sep. 2018, pp. 888-891, https://doi.org/10.1145/3238147.3240481.