An experience around the rationalization of architectural analysis

  1. Plácido Lizancos Mora
  2. 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: 389-406

Type: Book chapter

DIALNET GOOGLE SCHOLAR
Data source: Dialnet