Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.
芝加哥风格引文Kroening, D., M. Lewis, G. Weissenbacher, 与 N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
MLA引文Kroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
警告：这些引文格式不一定是100％准确.