Combining B and Alloy


Mikhailov, Leonid and Butler, Michael (2001) Combining B and Alloy At Formal Methods for Industrial Critical Systems.

Download

[img] PDF dsse-tr-2001-2.pdf - Other
Download (243kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Paris Organisation: ERCIM
Venue - Dates: Formal Methods for Industrial Critical Systems, 2001-07-01
Organisations: Electronic & Software Systems
ePrint ID: 254460
Date :
Date Event
July 2001Published
Date Deposited: 04 Jan 2002
Last Modified: 23 Feb 2017 15:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/254460

Actions (login required)

View Item View Item