APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.