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) 
Marques, B., Ruivo, C., Leite Viana, D. & Vieira Vaz, J. (2025). Formal Methods in Architecture: 7th International Symposium Book of Abstracts. Porto. CESAP - Cooperativa de Ensino Superior Artístico.
Exportar Referência (IEEE) 
B. Marques et al.,  Formal Methods in Architecture: 7th Int. Symp. Book of Abstracts, Porto, CESAP - Cooperativa de Ensino Superior Artístico, 2025
Exportar BibTeX 
@proceedings{marques2025_1777923907230,
	title = "",
	year = "2025",
	editor = "Marques, B. and Ruivo, C. and Leite Viana, D. and Vieira Vaz, J.",
	volume = "",
	number = "",
	series = "",
	publisher = "CESAP - Cooperativa de Ensino Superior Artístico",
	address = "Porto",
	organization = "Escola Superior Artística do Porto (ESAP), Ordem dos Arquitetos Secção Regional Norte (OASRN)",
	url = "https://formalmethodsinarchitecture2024.com/"
}
Exportar RIS 
TY  - CONF
TI  - Formal Methods in Architecture: 7th International Symposium Book of Abstracts
AU  - Marques, B.
AU  - Ruivo, C.
AU  - Leite Viana, D.
AU  - Vieira Vaz, J.
PY  - 2025
CY  - Porto
UR  - https://formalmethodsinarchitecture2024.com/
ER  -