Conference Publication Details
Mandatory Fields
Marie Farrell and Rosemary Monahan and James F. Power
Software Engineering and Formal Methods
Specification Clones: An Empirical Study of the Structure of Event-B Specifications
2017
September
Published
1
()
Optional Fields
152
167
Trento, Italy
04-SEP-17
08-SEP-17
10.1007/978-3-319-66197-1_10
Grant Details