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 (17η εκδ.)Mutilin, Vadim, Mikhail Mandrykin, Alexey Khoroshilov, και 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 εκδ.)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.