Journal-First: Building Specifications in the Event-B Institution

Marie Farrell, Rosemary Monahan, James F. Power

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Rigorous State-Based Methods
Publication statusPublished - 2023

Cite this