CSP and timewise refinement
A. W. Roscoe‚ G. M. Reed and S. A. Schneider
Details
| Book Title |
Proceedings of the BCS−FACS Refinement Workshop |
| Publisher |
LNCS |
| Year |
1991 |
Links
Related pages
|
People |
|
|
Activities |