Lewis, M., & Kroening, D. (2014). Precise verification of C programs.
Citazione stile Chigago Style (17a edizione)Lewis, M., e D. Kroening. Precise Verification of C Programs. 2014.
Citatione MLA (9a ed.)Lewis, M., e D. Kroening. Precise Verification of C Programs. 2014.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.