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

A. Bijlsma

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Originele taal-2Engels
UitgeverTechnische Universiteit Eindhoven
StatusGepubliceerd - 1997

Citeer dit