This page shows all presentations of this author published in EasyChair Smart Slide.
Journal-First: Building Specifications in the Event-B Institution
Marie Farrell, Rosemary Monahan and James Power