Ali Gondal, Michael Poppleton, Michael Butler. Composing Event-B Specifications - Case-Study Experience. In Sven Apel, Ethan Jackson, editors, Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Volume 6708 of Lecture Notes in Computer Science, pages 100-115, Springer, 2011. [doi]
@inproceedings{GondalPB11,
title = {Composing Event-B Specifications - Case-Study Experience},
author = {Ali Gondal and Michael Poppleton and Michael Butler},
year = {2011},
doi = {10.1007/978-3-642-22045-6_7},
url = {http://dx.doi.org/10.1007/978-3-642-22045-6_7},
tags = {case study},
researchr = {https://researchr.org/publication/GondalPB11},
cites = {0},
citedby = {0},
pages = {100-115},
booktitle = {Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
editor = {Sven Apel and Ethan Jackson},
volume = {6708},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-22044-9},
}