Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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