On the Refinement and Simulation of Data Types and Processes

Bibliografski detalji
Glavni autori: Bolton, C, Davies, J, Woodcock, J
Format: Conference item
Izdano: 1999