csp2B: A Practical Approach to Combining CSP and B


Butler, M. J., (1999) csp2B: A Practical Approach to Combining CSP and B Wing, J. M., Woodcock, J. and Davies, J. (eds.) At Proc. FM'99: World Congress on Formal Methods. , pp. 490-508.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Berlin
Venue - Dates: Proc. FM'99: World Congress on Formal Methods, 1999-09-01
Organisations: Electronic & Software Systems
ePrint ID: 250486
Date :
Date Event
September 1999Published
Date Deposited: 30 Sep 1999
Last Modified: 18 Apr 2017 00:20
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250486

Actions (login required)

View Item View Item