Daniel Kroening
2 published titles
Verified software : theories, tools and experiments : 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783319121543
- Springer
- 2014
- Details
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783319216676
- Springer
- 2015
- Details
