Crossmark

Semantics Formalisation – From Event-B Contexts to Theories

Crossref DOI link: https://doi.org/10.1007/978-3-031-63790-2_14

Published Online: 2024-06-21

Published Print: 2024

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Hoang, Thai Son https://orcid.org/0000-0003-4095-0732
Voisin, Laurent https://orcid.org/0000-0002-2426-0101
Wright, Karla Vanessa Morris https://orcid.org/0000-0002-0146-3176
Snook, Colin https://orcid.org/0000-0002-0210-0983
Butler, Michael https://orcid.org/0000-0003-4642-5373
License Information

Text and Data Mining valid from 2024-01-01

Version of Record valid from 2024-01-01

Text and Data Mining valid from 2024-01-01

Version of Record valid from 2024-01-01
More Information

Chapter History

First Online: 21 June 2024

Competing Interests

: The author(s) has no competing interests to declare that are relevant to the content of this manuscript.

Conference Information

Conference Acronym: ABZ

Conference Name: International Conference on Rigorous State-Based Methods

Conference City: Bergamo

Conference Country: Italy

Conference Year: 2024

Conference Start Date: 25 June 2024

Conference End Date: 28 June 2024

Conference Number: 10

Conference ID: abz2024

Conference URL: https://abz-conf.org/site/2024/