Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.
Chicago Style (17th ed.) CitationKroening, D., M. Lewis, G. Weissenbacher, and N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
MLA citiranjeKroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.
Opozorilo: Ti citati niso vedno 100% točni.