Cogent: Accurate theorem proving for program verification
Autores principales: | , , |
---|---|
Formato: | Conference item |
Publicado: |
Springer
2005
|
Autores principales: | , , |
---|---|
Formato: | Conference item |
Publicado: |
Springer
2005
|