Formal Methods in Architecture
Subtitle: Proceedings of the 5th International Symposium on Formal Methods in Architecture , Lisbon 2020
Publisher: Springer International Publishing AG
Published: 2022
Language: eng
ISBN-13: 9783030575113