Conference Publication Details
Mandatory Fields
Marie Farrell and Rosemary Monahan and James F. Power
23rd International Workshop on Algebraic Development Techniques
Providing a Semantics and Modularisation Constructs for Event-B using Institutions
2016
September
Published
()
Optional Fields
Gregynog, Wales
Grant Details