Reasoned modelling with Event-B


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

Download

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

Description/Abstract

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

Actions (login required)

View Item View Item