Inproceedings,
A Strategy for the Formal Composition of Frameworks.
W. Mesquita, A. Sampaio, and A. de Melo.SEFM, page 404-413. IEEE Computer Society, (2005)
Meta data
- BibTeX key
- conf/sefm/MesquitaSM05
- entry type
- inproceedings
- booktitle
- SEFM
- year
- 2005
- pages
- 404-413
- publisher
- IEEE Computer Society
- crossref
- conf/sefm/2005
- ee
- http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.5
- isbn
- 0-7695-2435-4
- url
- http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#MesquitaSM05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sefm/MesquitaSM05
%A Mesquita, Walter
%A Sampaio, Augusto
%A de Melo, Ana Cristina Vieira
%B SEFM
%D 2005
%E Aichernig, Bernhard K.
%E Beckert, Bernhard
%I IEEE Computer Society
%K
%P 404-413
%T A Strategy for the Formal Composition of Frameworks.
%U http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#MesquitaSM05
%@ 0-7695-2435-4
@inproceedings{conf/sefm/MesquitaSM05,
added-at = {2023-12-13T07:58:01.000+0100},
author = {Mesquita, Walter and Sampaio, Augusto and de Melo, Ana Cristina Vieira},
biburl = {https://www.bibsonomy.org/bibtex/2633ae2b20e63c26193a9bdc8f1c0b340/admin},
booktitle = {SEFM},
crossref = {conf/sefm/2005},
editor = {Aichernig, Bernhard K. and Beckert, Bernhard},
ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.5},
interhash = {bf5714c550668069d077c4e3c3318e41},
intrahash = {633ae2b20e63c26193a9bdc8f1c0b340},
isbn = {0-7695-2435-4},
keywords = {},
pages = {404-413},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T07:58:01.000+0100},
title = {A Strategy for the Formal Composition of Frameworks.},
url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#MesquitaSM05},
year = 2005
}