Event-B and Rodin


Butler, Michael, Salehi Fathabadi, Asieh and Silva, Renato (2012) Event-B and Rodin In, Boulanger, Jean-Louis (eds.) Industrial Use of Formal Methods: Formal Verification. Chichester, GB, ISTE; Wiley pp. 215-245.

Download

[img] PDF Chapter 07.pdf - Other
Download (6MB)
Item Type: Book Section
ISBNs: 9781848213630 (print)
Related URLs:
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronics & Computer Science
ePrint ID: 340229
Date :
Date Event
June 2012Published
Date Deposited: 14 Jun 2012 15:35
Last Modified: 17 Apr 2017 16:57
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/340229

Actions (login required)

View Item View Item