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., Viana, David Leite, Vaz, J. V. & Vieira Vaz, J. (2025). Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024. Springer.
Exportar Referência (IEEE) 
B. Marques et al.,  Formal Methods in Architecture: Proc. of the 7th Int. Symp. on Formal Methods in Architecture (7FMA), Porto 2024, Springer, 2025
Exportar BibTeX 
@proceedings{marques2025_1777925419051,
	title = "",
	year = "2025",
	editor = "Marques, B. and Ruivo, C. and Viana, David Leite and Vaz, J. V. and Vieira Vaz, J.",
	volume = "",
	number = "",
	series = "",
	publisher = "Springer",
	address = "",
	organization = "",
	url = "https://link.springer.com/book/10.1007/978-3-032-02782-5#about-this-book"
}
Exportar RIS 
TY  - CONF
TI  - Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024
AU  - Marques, B.
AU  - Ruivo, C.
AU  - Viana, David Leite
AU  - Vaz, J. V.
AU  - Vieira Vaz, J.
PY  - 2025
UR  - https://link.springer.com/book/10.1007/978-3-032-02782-5#about-this-book
ER  -