csp2B: A Practical Approach to Combining CSP and B

Bibliographic Details
Main Author: Butler, M. J. (Author)
Format: Article
Language:English
Published: 2000.
Subjects:
Online Access:Get fulltext