Combining CSP and B for Specification and Property Verification


Butler, Michael and Leuschel, Michael, (2005) Combining CSP and B for Specification and Property Verification Fitzgerald, John, Hayes, Ian and Tarlecki, Andrzej (eds.) At Formal Methods 2005. 18 - 22 Jul 2005. , pp. 221-236.

Download

[img] PDF csp_prob-2.pdf - Other
Download (241kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 18-22 July 2005
Venue - Dates: Formal Methods 2005, 2005-07-18 - 2005-07-22
Organisations: Electronic & Software Systems
ePrint ID: 260388
Date :
Date Event
January 2005Published
Date Deposited: 27 Jan 2005
Last Modified: 17 Apr 2017 22:15
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/260388

Actions (login required)

View Item View Item