Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux. Compilation of synchronous observers as code contracts. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 1933-1939, ACM, 2015. [doi]
@inproceedings{DieumegardGKTT15,
title = {Compilation of synchronous observers as code contracts},
author = {Arnaud Dieumegard and Pierre-Loïc Garoche and Temesghen Kahsai and Alice Taillar and Xavier Thirioux},
year = {2015},
doi = {10.1145/2695664.2695819},
url = {http://doi.acm.org/10.1145/2695664.2695819},
researchr = {https://researchr.org/publication/DieumegardGKTT15},
cites = {0},
citedby = {0},
pages = {1933-1939},
booktitle = {Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015},
editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong},
publisher = {ACM},
isbn = {978-1-4503-3196-8},
}