Lewis, M., & Kroening, D. (2014). Precise verification of C programs.
Style de citation Chicago (17e éd.)Lewis, M., et D. Kroening. Precise Verification of C Programs. 2014.
Style de citation MLA (9e éd.)Lewis, M., et D. Kroening. Precise Verification of C Programs. 2014.
Attention : ces citations peuvent ne pas être correctes à 100%.