Reasoned modelling with Event-B

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


[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: 10 Mar 2017 11:05
Further Information:Google Scholar

Actions (login required)

View Item View Item