APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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