Cogent: Accurate theorem proving for program verification
Huvudupphovsmän: | , , |
---|---|
Materialtyp: | Conference item |
Publicerad: |
Springer
2005
|
Huvudupphovsmän: | , , |
---|---|
Materialtyp: | Conference item |
Publicerad: |
Springer
2005
|