Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur. EB4EB: A Framework for Reflexive Event-B. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 71-80, IEEE, 2022. [doi]
@inproceedings{RiviereSA22,
title = {EB4EB: A Framework for Reflexive Event-B},
author = {Peter Riviere and Neeraj Kumar Singh and Yamine Aït Ameur},
year = {2022},
doi = {10.1109/ICECCS54210.2022.00017},
url = {https://doi.org/10.1109/ICECCS54210.2022.00017},
researchr = {https://researchr.org/publication/RiviereSA22},
cites = {0},
citedby = {0},
pages = {71-80},
booktitle = {26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022},
publisher = {IEEE},
isbn = {978-1-6654-0162-3},
}