Building Specifications in the Event-B Institution:: A Summary

Building Specifications in the Event-B Institution: A Summary

Marie Farrell, Rosemary Monahan, James F. Power

Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	International Conference on Rigorous State-Based Methods
Publisher	Springer Nature
Pages	245–253
Number of pages	9
DOIs	https://doi.org/10.1007/978-3-031-33163-3_19
Publication status	Published - 2023

@inbook{95c614629d06451290de959d6ceb3e71,

title = "Building Specifications in the Event-B Institution:: A Summary",

author = "Marie Farrell and Rosemary Monahan and Power, {James F.}",

year = "2023",

doi = "10.1007/978-3-031-33163-3_19",

language = "English",

pages = "245–253",

booktitle = "International Conference on Rigorous State-Based Methods",

publisher = "Springer Nature",

address = "United States",

}

TY - CHAP

T1 - Building Specifications in the Event-B Institution:

T2 - A Summary

AU - Farrell, Marie

AU - Monahan, Rosemary

AU - Power, James F.

PY - 2023

Y1 - 2023

UR - https://doi.org/10.1007/978-3-031-33163-3_19

U2 - 10.1007/978-3-031-33163-3_19

DO - 10.1007/978-3-031-33163-3_19

M3 - Chapter

SP - 245

EP - 253

BT - International Conference on Rigorous State-Based Methods

PB - Springer Nature

ER -