Reasoned modelling with Event-B


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

Download

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

Description/Abstract

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
URI: http://eprints.soton.ac.uk/id/eprint/402239

Actions (login required)

View Item View Item