APA (7th ed.) մեջբերում

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

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

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

MLA (9րդ խմբ.) Մեջբերում

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

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.