@inproceedings{iihm-ODC+16a, title = {Using formal models to cross check an implementation}, author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle and Dadolle, Dani{\`{e}}le}, year = {2016}, pages = {126-137}, booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive Computing System {EICS} 2016}, publisher = {{ACM}}, doi = {https://doi.org/10.1145/2933242.2933257}, address = {Brussels, Belgium}, uri = {http://iihm.imag.fr/publication/ODC+16a/}, pdf = {http://iihm.imag.fr/publs/2016/oliveiraEICS16.pdf}, type_publi = {icolcomlec}, type = {Conf{\'{e}}rences internationales de large diffusion avec comit{\'{e}} de lecture sur texte complet}, x-proceedings = {yes}, x-editorial-board = {yes}, x-international-audience = {yes}, x-invited-conference = {no}, x-scientific-popularization = {no}, }