Accurate Theorem Proving for Program Verification

Bibliografiset tiedot
Päätekijät: Cook, B, Kroening, D, Sharygina, N
Aineistotyyppi: Conference item
Julkaistu: Springer 2006