Inproceedings,
Integrating Formal Methods with Model-Driven Engineering.
A. Gargantini, E. Riccobene, and P. Scandurra.ICSEA, page 86-92. IEEE Computer Society, (2009)
Meta data
- BibTeX key
- conf/icsea/GargantiniRS09
- entry type
- inproceedings
- booktitle
- ICSEA
- year
- 2009
- pages
- 86-92
- publisher
- IEEE Computer Society
- crossref
- conf/icsea/2009
- ee
- https://doi.ieeecomputersociety.org/10.1109/ICSEA.2009.22
- isbn
- 978-0-7695-3777-1
- url
- http://dblp.uni-trier.de/db/conf/icsea/icsea2009.html#GargantiniRS09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icsea/GargantiniRS09
%A Gargantini, Angelo
%A Riccobene, Elvinia
%A Scandurra, Patrizia
%B ICSEA
%D 2009
%E Boness, Kenneth
%E Fernandes, João M.
%E Hall, Jon G.
%E Machado, Ricardo Jorge
%E Oberhauser, Roy
%I IEEE Computer Society
%K dblp
%P 86-92
%T Integrating Formal Methods with Model-Driven Engineering.
%U http://dblp.uni-trier.de/db/conf/icsea/icsea2009.html#GargantiniRS09
%@ 978-0-7695-3777-1
@inproceedings{conf/icsea/GargantiniRS09,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Gargantini, Angelo and Riccobene, Elvinia and Scandurra, Patrizia},
biburl = {https://www.bibsonomy.org/bibtex/2c37f7b49b19fd9ef3e71d0f8caa94ffe/dblp},
booktitle = {ICSEA},
crossref = {conf/icsea/2009},
editor = {Boness, Kenneth and Fernandes, João M. and Hall, Jon G. and Machado, Ricardo Jorge and Oberhauser, Roy},
ee = {https://doi.ieeecomputersociety.org/10.1109/ICSEA.2009.22},
interhash = {200cabd2eaf362400970f16b20de65e2},
intrahash = {c37f7b49b19fd9ef3e71d0f8caa94ffe},
isbn = {978-0-7695-3777-1},
keywords = {dblp},
pages = {86-92},
publisher = {IEEE Computer Society},
timestamp = {2024-04-09T12:15:02.000+0200},
title = {Integrating Formal Methods with Model-Driven Engineering.},
url = {http://dblp.uni-trier.de/db/conf/icsea/icsea2009.html#GargantiniRS09},
year = 2009
}