Martin Steffen
3 published titles
Higher-order subtyping
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540261810
- Springer
- 2005
- Details
Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642229527
- Springer
- 2011
- Details
