Conference Publication Details
Mandatory Fields
Marie Farrell and Rosemary Monahan and James F. Power
Recent Trends in Algebraic Development Techniques
An Institution for Event-B
2017
January
Published
()
Optional Fields
104
119
Revised Selected Papers from WADT 2016
Grant Details