Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. On the Refinement and Simulation of Data Types and Processes

On the Refinement and Simulation of Data Types and Processes

Christie Bolton‚ Jim Davies and Jim Woodcock

Crossref
DBLP:conf/ifm/1999
Pages
273−292
Year
1999

Links

See Also

Back to Top