APA (7. basım) Alıntı

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

Chicago Style (17. basım) Atıf

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

MLA (9th ed.) Atıf

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