An Approach to Combining B and Alloy


Mikhailov, Leonid and Butler, Michael (2002) An Approach to Combining B and Alloy At ZB'2002.

Download

[img] PDF zb2002.pdf - Other
Download (212kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Grenoble Address: Springer-Verlag
Venue - Dates: ZB'2002, 2002-01-01
Organisations: Electronic & Software Systems
ePrint ID: 256232
Date :
Date Event
January 2002Published
Date Deposited: 04 Jan 2002
Last Modified: 23 Feb 2017 14:57
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/256232

Actions (login required)

View Item View Item