csp2B: A Practical Approach to Combining CSP and B


Butler, M. J. (2000) csp2B: A Practical Approach to Combining CSP and B Formal Aspects of Computing, 12, pp. 182-196.

Download

[img] PDF csp2b.pdf - Other
Download (221kB)
Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 253036
Date :
Date Event
2000Published
Date Deposited: 18 Jun 2001
Last Modified: 23 Feb 2017 15:21
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253036

Actions (login required)

View Item View Item