Formal Methods in Architecture

dc.contributor.author	Plácido Lizancos Mora
dc.contributor.author	David Leite Viana
dc.contributor.author	Franklim Morais
dc.contributor.author	Jorge Vieira Vaz
dc.date.accessioned	2024-12-05T04:08:59Z
dc.date.available	2024-12-05T04:08:59Z
dc.date.issued	2023
dc.identifier.isbn	978-981-99-2217-8
dc.identifier.uri	http://repository.psa.edu.my/handle/123456789/4903
dc.language.iso	en	en_US
dc.publisher	Springer	en_US
dc.title	Formal Methods in Architecture	en_US
dc.title.alternative	Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022	en_US
dc.type	Book	en_US