An experience around the rationalization of architectural analysis

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

Tipo: Capítulo de Libro

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet