APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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