On Component-Based Reuse for Event-B

Andrew Edmunds, Colin Snook, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationAbstract State Machines, Alloy, B, TLA, VDM, and Z. 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
EditorsM Butler, K Schewe, A Mashkoor, M Biro
PublisherSpringer
Pages151–166
ISBN (Electronic)978-3-319-33600-8
ISBN (Print)978-3-319-33599-5
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventABZ - ABZ 2016
Duration: 23 May 201627 May 2016

Conference

ConferenceABZ
Period23/05/1627/05/16

Cite this