Filter
Datorstödd konstruktion (CAD, computer aided design)
Filter
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of …