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, C. (2025). Closing Speech. Formal Methods in Architecture: Proceedings of the 7th International Symposium. xiii-xvi
Exportar Referência (IEEE) 
C. R. Pereira,  "Closing Speech", in Formal Methods in Architecture: Proc. of the 7th Int. Symp., pp. xiii-xvi, 2025
Exportar BibTeX 
@inbook{pereira2025_1778063918349,
	author = "Ruivo, C.",
	title = "Formal Methods in Architecture: Proceedings of the 7th International Symposium (Prefácio)",
	chapter = "",
	year = "2025",
	editor = "",
	volume = "",
	series = "",
	edition = "",
	doi = "https://link.springer.com/book/10.1007/978-3-032-02782-5",
	pages = "xiii-xvi",
	publisher = "Springer Nature Switzerland",
	address = "",
	url = "https://link.springer.com/book/10.1007/978-3-032-02782-5"
}
Exportar RIS 
TY  - GEN
TI  - Closing Speech
T2  - Formal Methods in Architecture: Proceedings of the 7th International Symposium
AU  - Ruivo, C.
PY  - 2025
SP  - xiii-xvi
DO  - https://link.springer.com/book/10.1007/978-3-032-02782-5
UR  - https://link.springer.com/book/10.1007/978-3-032-02782-5
ER  -