Conference Publication Details
Mandatory Fields
Marie Farrell, Rosemary Monahan and James F. Power
International Conference on Formal Engineering Methods
Combining Event-B and CSP: An institution theoretic approach to interoperability
2017
November
Published
1
1 ()
Optional Fields
140
156
Xi'an, China
13-NOV-17
17-NOV-17
10.1007/978-3-319-68690-5_9
Grant Details