AB66: Simulating file operations: an exercise in calculational data refinement

A. Bijlsma

Research output: Other contributionOther research output

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1997

Cite this