Export Publication

The publication can be exported in the following formats: APA (American Psychological Association) reference format, IEEE (Institute of Electrical and Electronics Engineers) reference format, BibTeX and RIS.

Export Reference (APA) 
Marques, B., Ruivo, C., Viana, David Leite, Vaz, J. V. & Vieira Vaz, J. (2024). 7th International Simposium Formal Methods in Architecture - Book of Abstracts. Porto. Escola Superior Artística do Porto.
Export Reference (IEEE) 
B. Marques et al.,  7th Int. Simposium Formal Methods in Architecture - Book of Abstracts, 1ª ed., Porto, Escola Superior Artística do Porto, 2024
Export BibTeX 
@book{marques2024_1782376418348,
	author = "Marques, B. and Ruivo, C. and Viana, David Leite and Vaz, J. V. and Vieira Vaz, J.",
	title = "",
	year = "2024",
	editor = "",
	volume = "1",
	number = "",
	series = "",
	edition = "1ª",
	publisher = "Escola Superior Artística do Porto",
	address = "Porto",
	url = "https://formalmethodsinarchitecture2024.com/wp-content/uploads/2023/10/7FMA-Book-of-Abstracts.pdf"
}
Export RIS 
TY  - EDBOOK
TI  - 7th International Simposium Formal Methods in Architecture - Book of Abstracts
VL  - 1
AU  - Marques, B.
AU  - Ruivo, C.
AU  - Viana, David Leite
AU  - Vaz, J. V.
AU  - Vieira Vaz, J.
PY  - 2024
CY  - Porto
UR  - https://formalmethodsinarchitecture2024.com/wp-content/uploads/2023/10/7FMA-Book-of-Abstracts.pdf
ER  -