Cogent: Accurate theorem proving for program verification

Detalles Bibliográficos
Autores principales: Cook, B, Kroening, D, Sharygina, N
Formato: Conference item
Publicado: Springer 2005