On the Refinement and Simulation of Data Types and Processes

Bibliografiset tiedot
Päätekijät: Bolton, C, Davies, J, Woodcock, J
Aineistotyyppi: Conference item
Julkaistu: 1999