Building Specifications in the Event-B Institution: A Summary

Marie Farrell, Rosemary Monahan, James F. Power

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Rigorous State-Based Methods
PublisherSpringer Nature
Pages245–253
Number of pages9
DOIs
Publication statusPublished - 2023

Cite this