Hoang, Thai Son, Voisin, Laurent and Butler, Michael (2020) Domain-specific developments using Rodin theories. In, Ait-Ameur, Yamine, Nakajima, Shin and Méry, Dominique (eds.) Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of NII Shonan Meetings. Springer Nature.
Record type:
Book Section
More information
Accepted/In Press date: 13 June 2020
Published date: 23 October 2020
Related URLs:
Keywords:
ADTs, Rodin, Event-B, Theory Instantiation, CBTC
Identifiers
Local EPrints ID: 442566
URI: http://eprints.soton.ac.uk/id/eprint/442566
PURE UUID: 20f6b2be-39ae-4185-9ba8-80214b9fe0a8
Catalogue record
Date deposited: 20 Jul 2020 16:30
Last modified: 17 Mar 2024 03:39
Export record
Contributors
Author:
Thai Son Hoang
Author:
Laurent Voisin
Author:
Michael Butler
Editor:
Yamine Ait-Ameur
Editor:
Shin Nakajima
Editor:
Dominique Méry
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.