Reasoned modelling with Event-B

Butler, Michael (2016) Reasoned modelling with Event-B, vol. 10215, Southampton, GB, Springer, 60pp. (Programming and Software Engineering, 10215).


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


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

Item Type: Book
Digital Object Identifier (DOI): doi:10.1007/978-3-319-56841-6
ISBNs: 9783319568409 (print)
9783319568416 (electronic)
Organisations: Electronic & Software Systems
ePrint ID: 402239
Date :
Date Event
17 January 2016Accepted/In Press
6 November 2016Published
Date Deposited: 01 Nov 2016 17:27
Last Modified: 09 Jun 2017 16:32
Further Information:Google Scholar

Actions (login required)

View Item View Item