Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler. Formal Verification of Run-to-Completion Style Statecharts Using Event-B. In Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun, editors, Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Volume 1269 of Communications in Computer and Information Science, pages 311-325, Springer, 2020. [doi]
@inproceedings{MorrisSHHAB20-0,
title = {Formal Verification of Run-to-Completion Style Statecharts Using Event-B},
author = {Karla Morris and Colin F. Snook and Thai Son Hoang and Geoffrey C. Hulette and Robert Armstrong and Michael J. Butler},
year = {2020},
doi = {10.1007/978-3-030-59155-7_24},
url = {https://doi.org/10.1007/978-3-030-59155-7_24},
researchr = {https://researchr.org/publication/MorrisSHHAB20-0},
cites = {0},
citedby = {0},
pages = {311-325},
booktitle = {Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
editor = {Henry Muccini and Paris Avgeriou and Barbora Buhnova and Javier Cámara and Mauro Caporuscio and Mirco Franzago and Anne Koziolek and Patrizia Scandurra and Catia Trubiani and Danny Weyns and Uwe Zdun},
volume = {1269},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-59155-7},
}