Conference Publication Details
Mandatory Fields
Marie Farrell and Rosemary Monahan and James F. Power and Michael Fisher
24th International Workshop on Algebraic Development Technique
An Approach to Combining the Institutions for Event-B and Temporal Logic
2018
July
Published
()
Optional Fields
Royal Holloway University of London
http://wadt18.cs.rhul.ac.uk/submissions/WADT18A24.pdf
Grant Details