Lewis, M., & Kroening, D. (2014). Precise verification of C programs.
芝加哥风格引文Lewis, M., 与 D. Kroening. Precise Verification of C Programs. 2014.
MLA引文Lewis, M., 与 D. Kroening. Precise Verification of C Programs. 2014.
警告：这些引文格式不一定是100％准确.
APA引文