Combining CSP and B for Specification and Property Verification


Butler, Michael and Leuschel, Michael (2005) Combining CSP and B for Specification and Property Verification. In, Formal Methods 2005, Newcastle upon Tyne, 18 - 22 Jul 2005. Springer, 221-236.

Download

[img] PDF
Download (235Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 18-22 July 2005
ISSNs: 0302-9743
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 260388
Date Deposited: 27 Jan 2005
Last Modified: 27 Mar 2014 20:03
Publisher: Springer
Further Information:Google Scholar
ISI Citation Count:23
URI: http://eprints.soton.ac.uk/id/eprint/260388

Actions (login required)

View Item View Item