Ali Gondal

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Ali Gondal, Michael Poppleton, Michael J. Butler
Composing Event-B Specifications - Case-Study Experience. SC@TOOLS (2011)