Dirk Pattinson
2 published titles
Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
(Contributor)
1 edition
- ISBN: 3540205373
- Springer-Verlag
- 2003
- Details
Coalgebraic methods in computer science : 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642327834
- Springer
- 2012
- Details
