Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.