Dyfyniad APA

Kroening, D. (2006). Computing over-approximations with bounded model checking. Elsevier.

Dyfyniad Arddull Chicago

Kroening, D. Computing Over-approximations with Bounded Model Checking. Elsevier, 2006.

Dyfyniad MLA

Kroening, D. Computing Over-approximations with Bounded Model Checking. Elsevier, 2006.

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