Wolfgang Grieskamp
2 published titles
Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540411968
- Springer
- 2000
- Details
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11 2005 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783540344544
- Springer
- 2006
- Details