Combining B and Alloy

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


[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: 17 Apr 2017 23:15
Further Information:Google Scholar

Actions (login required)

View Item View Item