Cogent: Accurate theorem proving for program verification

Bibliografiska uppgifter
Huvudupphovsmän: Cook, B, Kroening, D, Sharygina, N
Materialtyp: Conference item
Publicerad: Springer 2005