Formal Methods in Architecture
Subtitle: Proceedings of the 6th International Symposium on Formal Methods in Architecture , a Coruña 2022
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9789819922161