Original language | English |
---|---|
Publisher | Technische Universiteit Eindhoven |
Publication status | Published - 1997 |
AB66: Simulating file operations: an exercise in calculational data refinement
A. Bijlsma
Research output: Other contribution › Other research output