Christoph Weidenbach
2 published titles
Programming logics : essays in memory of Harald Ganzinger
(Contributor)
1 edition
- ISBN: 9783642376504
- Springer
- 2013
- Details
Automated reasoning : 7th international joint conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783319085869
- Springer
- 2014
- Details
