Inproceedings,
Using formal models to cross check an implementation.
R. Oliveira, S. Dupuy-Chessa, G. Calvary, and D. Dadolle.EICS, page 126-137. ACM, (2016)
Meta data
- BibTeX key
- conf/eics/OliveiraDCD16
- entry type
- inproceedings
- booktitle
- EICS
- year
- 2016
- pages
- 126-137
- publisher
- ACM
- crossref
- conf/eics/2016
- ee
- https://doi.org/10.1145/2933242.2933257
- isbn
- 978-1-4503-4322-0
- url
- http://dblp.uni-trier.de/db/conf/eics/eics2016.html#OliveiraDCD16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}