Cita APA

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

Citación estilo Chicago

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

Cita MLA

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