Burkhart Wolff
4 published titles
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540406646
- Springer
- 2003
- Details
Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30-July 1 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642217678
- Springer
- 2011
- Details
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642245794
- Springer
- 2011
- Details
Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642357046
- Springer
- 2013
- Details
