Refinement in Object−Z and CSP
Christie Bolton and Jim Davies
Details
| Crossref |
DBLP:conf/ifm/2002 |
| Pages |
225−244 |
| Year |
2002 |
Links
Related pages
|
People |
Christie Bolton and Jim Davies
| Crossref |
DBLP:conf/ifm/2002 |
| Pages |
225−244 |
| Year |
2002 |
|
People |