Bram Vandenbogaerde. Soft Verification for Actor Contract Systems. In Maria Christakis, Michael Pradel, editors, Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024. pages 1891-1895, ACM, 2024. [doi]
@inproceedings{Vandenbogaerde24,
title = {Soft Verification for Actor Contract Systems},
author = {Bram Vandenbogaerde},
year = {2024},
doi = {10.1145/3650212.3685551},
url = {https://doi.org/10.1145/3650212.3685551},
researchr = {https://researchr.org/publication/Vandenbogaerde24},
cites = {0},
citedby = {0},
pages = {1891-1895},
booktitle = {Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024},
editor = {Maria Christakis and Michael Pradel},
publisher = {ACM},
isbn = {979-8-4007-0612-7},
}