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
Libro:
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

Editorial: Springer Nature Singapore

ISBN: 978-981-99-2216-1

Año de publicación: 2023

Páginas: 35-46

Tipo: Capítulo de Libro