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) 
Viana, David Leite, Vaz, J. V., Morais, Franklim & Ruivo, C. (2021). Formal Methods in Architecture and Urbanism. David Leite Viana and Franklim Morais and Jorge Vieira Vaz and Catarina Ruivo Pereira (Ed.).
Exportar Referência (IEEE) 
V. D. Leite et al.,  Formal Methods in Architecture and Urbanism, David Leite Viana and Franklim Morais and Jorge Vieira Vaz and Catarina Ruivo Pereira, Ed., 2021
Exportar BibTeX 
@book{leite2021_1775152707155,
	author = "Viana, David Leite and Vaz, J. V. and Morais, Franklim and Ruivo, C.",
	title = "",
	year = "2021",
	editor = "David Leite Viana and Franklim Morais and Jorge Vieira Vaz and Catarina Ruivo Pereira",
	volume = "2",
	number = "",
	series = "",
	edition = "",
	publisher = "",
	address = ""
}
Exportar RIS 
TY  - EDBOOK
TI  - Formal Methods in Architecture and Urbanism
VL  - 2
AU  - Viana, David Leite
AU  - Vaz, J. V.
AU  - Morais, Franklim
AU  - Ruivo, C.
PY  - 2021
ER  -