Basler, G., Mazzucchi, M., Wahl, T., & Kroening, D. (2010). Context-aware counter abstraction.
芝加哥风格引文Basler, G., M. Mazzucchi, T. Wahl, 与 D. Kroening. Context-aware Counter Abstraction. 2010.
MLA引文Basler, G., et al. Context-aware Counter Abstraction. 2010.
警告：这些引文格式不一定是100％准确.