Reasoned modelling with Event-B

Butler, Michael (2016) Reasoned modelling with Event-B , Southampton, GB University of Southampton 60pp.


[img] PDF notes.pdf - Other
Download (850kB)


Lecture notes for Spring School on Engineering Trustworthy Software Systems 2016, Chongqing, China.

Item Type: Monograph (Project Report)
Organisations: Electronic & Software Systems
ePrint ID: 402239
Date :
Date Event
6 November 2016Published
Date Deposited: 01 Nov 2016 17:27
Last Modified: 17 Apr 2017 01:08
Further Information:Google Scholar

Actions (login required)

View Item View Item