APA (7th ed.) Citation

Mutilin, V., Mandrykin, M., Khoroshilov, A., & Novikov, E. (2012). Static Verification Tools for C Programs and Linux Device Drivers: A Survey. Proceedings of the Institute for System Programming of RAS, 22, 293. https://doi.org/10.15514/ispras-2012-22-17

Chicago Style (17th ed.) Citation

Mutilin, Vadim, Mikhail Mandrykin, Alexey Khoroshilov, and Evgeny Novikov. "Static Verification Tools for C Programs and Linux Device Drivers: A Survey." Proceedings of the Institute for System Programming of RAS 22 (2012): 293. https://doi.org/10.15514/ispras-2012-22-17.

MLA (9th ed.) Citation

Mutilin, Vadim, et al. "Static Verification Tools for C Programs and Linux Device Drivers: A Survey." Proceedings of the Institute for System Programming of RAS, vol. 22, 2012, p. 293, https://doi.org/10.15514/ispras-2012-22-17.