%0 Conference Paper %1 conf/eics/OliveiraDCD16 %A Oliveira, Raquel %A Dupuy-Chessa, Sophie %A Calvary, Gaëlle %A Dadolle, Daniele %B EICS %D 2016 %E Luyten, Kris %E Palanque, Philippe A. %I ACM %K %P 126-137 %T Using formal models to cross check an implementation. %U http://dblp.uni-trier.de/db/conf/eics/eics2016.html#OliveiraDCD16 %@ 978-1-4503-4322-0

@inproceedings{conf/eics/OliveiraDCD16, added-at = {2023-12-13T04:44:14.000+0100}, author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Gaëlle and Dadolle, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/2c8eabb3d4fd2b8bdb2169e7db5613d05/admin}, booktitle = {EICS}, crossref = {conf/eics/2016}, editor = {Luyten, Kris and Palanque, Philippe A.}, ee = {https://doi.org/10.1145/2933242.2933257}, interhash = {99b012dd1c3184d4e673ea03d027e0ed}, intrahash = {c8eabb3d4fd2b8bdb2169e7db5613d05}, isbn = {978-1-4503-4322-0}, keywords = {}, pages = {126-137}, publisher = {ACM}, timestamp = {2023-12-13T04:44:14.000+0100}, title = {Using formal models to cross check an implementation.}, url = {http://dblp.uni-trier.de/db/conf/eics/eics2016.html#OliveiraDCD16}, year = 2016 }