Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
Ruivo, Catarina, Viana, D. L., Morais, F., Carvalho, Isabel Cristina & Vaz, J. V. (2020). ScavaTools: Strategies and tools for the mass dissemination of SCAVA techniques . In Eloy, Sara and Viana, David Leite and Morais, Franklim and Vaz, Jorge Vieira (Ed.), Proceedings of the 5th International Symposium Formal Methods in Architecture. Heidelberg
Exportar Referência (IEEE) 
R. Catarina et al.,  "ScavaTools: Strategies and tools for the mass dissemination of SCAVA techniques ", in Proc. of the 5th Int. Symp. Formal Methods in Architecture, Eloy, Sara and Viana, David Leite and Morais, Franklim and Vaz, Jorge Vieira, Ed., Heidelberg, 2020
Exportar BibTeX 
@incollection{catarina2020_1734830767305,
	author = "Ruivo, Catarina and Viana, D. L. and Morais, F. and Carvalho, Isabel Cristina and Vaz, J. V.",
	title = "ScavaTools: Strategies and tools for the mass dissemination of SCAVA techniques ",
	chapter = "",
	booktitle = "Proceedings of the 5th International Symposium Formal Methods in Architecture",
	year = "2020",
	volume = "",
	series = "",
	edition = "",
	publisher = "",
	address = "Heidelberg"
}
Exportar RIS 
TY  - CHAP
TI  - ScavaTools: Strategies and tools for the mass dissemination of SCAVA techniques 
T2  - Proceedings of the 5th International Symposium Formal Methods in Architecture
AU  - Ruivo, Catarina
AU  - Viana, D. L.
AU  - Morais, F.
AU  - Carvalho, Isabel Cristina
AU  - Vaz, J. V.
PY  - 2020
CY  - Heidelberg
ER  -