On the Refinement and Simulation of Data Types and Processes

Bibliographische Detailangaben
Hauptverfasser: Bolton, C, Davies, J, Woodcock, J
Format: Conference item
Veröffentlicht: 1999