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% ճշգրիտ լինել.