APA (7th ed.) Citation

Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.

Chicago Style (17th ed.) Citation

Kroening, D., M. Lewis, G. Weissenbacher, and N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.

MLA (9th ed.) Citation

Kroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.