B. Krieg-Brückner
2 published titles
Structuring specifications in-the-Large and in-the-Small : higher-order functions, dependent types and inheritance in SPECTRAL
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Algebraic foundations of systems specification
(Contributor)
1 edition
- ISBN: 3540637729
- Springer
- 1999
- Details
