Julien Signoles. The e-ACSL perspective on runtime assertion checking. In Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza, editors, VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. pages 8-12, ACM, 2021. [doi]
@inproceedings{Signoles21, title = {The e-ACSL perspective on runtime assertion checking}, author = {Julien Signoles}, year = {2021}, doi = {10.1145/3464974.3468451}, url = {https://doi.org/10.1145/3464974.3468451}, researchr = {https://researchr.org/publication/Signoles21}, cites = {0}, citedby = {0}, pages = {8-12}, booktitle = {VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021}, editor = {Wolfgang Ahrendt and Davide Ancona and Adrian Francalanza}, publisher = {ACM}, isbn = {978-1-4503-8546-6}, }