Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.
Citace podle Chicago (17th ed.)Kroening, D., M. Lewis, G. Weissenbacher, a N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
Citace podle MLA (9th ed.)Kroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..