E. A. Kazmierczak
2 published titles
Modularizing the specification of a small database system in Extended ML
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Formal program development in modular prolog : a case study
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
