Publications by the researcher in collaboration with David Leite Viana (2)

2023

  1. Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022

    Springer Nature Singapore

  2. Some Controversies Around Formalization in Architecture

    Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Springer Nature Singapore), pp. 35-46