Skip to main content

CSP and timewise refinement

A. W. Roscoe‚ G. M. Reed and S. A. Schneider

Book Title
Proceedings of the BCS−FACS Refinement Workshop
Publisher
LNCS
Year
1991