Some Controversies Around Formalization in Architecture

  1. Plácido Lizancos Mora
  2. Catarina Ruivo
  3. David Leite Viana
  4. Franklim Morais
  5. Jorge Vieira Vaz
  6. Vicente López-Chao
Book:
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
  1. Placido Lizancos Mora (ed. lit.)
  2. David Leite Viana (ed. lit.)
  3. Franklim Morais (ed. lit.)
  4. Jorge Vieira Vaz

Publisher: Springer Nature Singapore

ISBN: 978-981-99-2216-1

Year of publication: 2023

Pages: 35-46

Type: Book chapter

DIALNET GOOGLE SCHOLAR
Data source: Dialnet