Robert F. Stärk
2 published titles
Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12 2001 : proceedings
(Contributor)
1 edition
- ISBN: 354042752X
- Springer
- 2001
- Details
Abstract state machines : a method for high-level system design and analysis
(Contributor)
1 edition
- ISBN: 3540007024
- Springer
- 2003
- Details
