On the Refinement and Simulation of Data Types and Processes
Christie Bolton‚ Jim Davies and Jim Woodcock
Details
| Crossref |
DBLP:conf/ifm/1999 |
| Pages |
273−292 |
| Year |
1999 |
Links
Related pages
|
People |