Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.
Lua i Stíl Chicago (17ú heag.)Kroening, D., M. Lewis, G. Weissenbacher, agus N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
Lua MLA (9ú heag.)Kroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.