Cogent: Accurate Theorem Proving for Program Verification - Research Collection

Metadata only

Author

Kroening, Daniel

Sharygina, Natasha

Date

2005

Type

Conference Paper

Citations

Cited 23 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/11513988_30

Editor

Etessami, Kousha

Rajamani, Sriram K.

Book title

Computer Aided Verification

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

More

Show all metadata

Citations

Cited 23 times in Web of Science

ETH Bibliography

yes

Altmetrics