Book chapter
Some Controversies Around Formalization in Architecture
Mora, Plácido Lizancos (Mora, Plácido Lizancos); Catarina Ruivo (Ruivo, C.); Viana, David Leite (Viana, David Leite); Morais, Franklim (Morais, Franklim); Jorge Vieira Vaz (Vaz, J. V.); López-Chao, Vicente (López-Chao, Vicente);
Book Title
Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture
Year (definitive publication)
2023
Language
English
Country
Singapore
More Information
Visit Link
Web of Science®

Times Cited: 0

(Last checked: 2026-07-08 10:50)

View record in Web of Science®

Scopus

This publication is not indexed in Scopus

Google Scholar

Times Cited: 0

(Last checked: 2026-07-05 09:12)

View record in Google Scholar

Overton

This publication is not indexed in Overton

Abstract
--
Acknowledgements
--
Keywords
Publication Identifiers
cv-prod-id-3480970
WOS:001753557500004
ci-pub-97354
Other Publication Details
2023
Springer Nature Singapore
Web of Science©;
--
978-981-99-2216-1 (print)
978-981-99-2217-8 (online)
35 - 46 --
--
Yes
Both (printed and digital)