Cogent

Accurate theorem proving for program verification
Thumbnail
Metadata only
Author
Cook, Byron
Kroening, Daniel
Sharygina, Natasha
Date
2005
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Etessami, Kousha
Rajamani, Sriram K.
Book title
Computer aided verification : 17th international conference : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
3576
Pages / Article No.
296 - 300
Publisher
Springer
Event
17th International Conference on Computer Aided Verification (CAV 2005), Edinburgh, Scotland, July 6-10, 2005
Organisational unit
03686 - Kröning, Daniel  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics