Accurate Theorem Proving for Program Verification

Xehetasun bibliografikoak
Egile Nagusiak: Cook, B, Kroening, D, Sharygina, N
Formatua: Conference item
Argitaratua: Springer 2006