Formal Methods in Architecture
Bruno Marques
Formal Methods in Architecture - 2025 - Springer Nature Switzerland 2025 - Digital Innovations in Architecture, Engineering and Construction .
9783032027825
Engineering
Formal Methods in Architecture - 2025 - Springer Nature Switzerland 2025 - Digital Innovations in Architecture, Engineering and Construction .
9783032027825
Engineering