APA (7th ed.) Citation

Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., & Yakobowski, B. (2012). Frama-C: A Software Analysis Perspective. Software Engineering and Formal Methods, 233-247. https://doi.org/10.1007/978-3-642-33826-7_16

Chicago Style (17th ed.) Citation

Cuoq, Pascal, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, and Boris Yakobowski. "Frama-C: A Software Analysis Perspective." Software Engineering and Formal Methods 2012: 233-247. https://doi.org/10.1007/978-3-642-33826-7_16.

MLA (9th ed.) Citation

Cuoq, Pascal, et al. "Frama-C: A Software Analysis Perspective." Software Engineering and Formal Methods, 2012, pp. 233-247, https://doi.org/10.1007/978-3-642-33826-7_16.