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) 
Mora, Plácido Lizancos, Ruivo, C., Viana, David Leite, Morais, Franklim, Vaz, J. V. & López-Chao, Vicente (2023). Some Controversies Around Formalization in Architecture. In Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture. (pp. 35-46).: Springer Nature Singapore.
Exportar Referência (IEEE) 
M. P. Lizancos et al.,  "Some Controversies Around Formalization in Architecture", in Formal Methods in Architecture - proceedings of the 6th Int. Symp. on Formal Methods in Architecture, Springer Nature Singapore, 2023, pp. 35-46
Exportar BibTeX 
@incollection{lizancos2023_1783714609124,
	author = "Mora, Plácido Lizancos and Ruivo, C. and Viana, David Leite and Morais, Franklim and Vaz, J. V. and López-Chao, Vicente",
	title = "Some Controversies Around Formalization in Architecture",
	chapter = "",
	booktitle = "Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture",
	year = "2023",
	volume = "",
	series = "",
	edition = "",
	pages = "35-35",
	publisher = "Springer Nature Singapore",
	address = "",
	url = "http://dx.doi.org/10.1007/978-981-99-2217-8_4"
}
Exportar RIS 
TY  - CHAP
TI  - Some Controversies Around Formalization in Architecture
T2  - Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture
AU  - Mora, Plácido Lizancos
AU  - Ruivo, C.
AU  - Viana, David Leite
AU  - Morais, Franklim
AU  - Vaz, J. V.
AU  - López-Chao, Vicente
PY  - 2023
SP  - 35-46
UR  - http://dx.doi.org/10.1007/978-981-99-2217-8_4
ER  -