|
Title
|
|
|
|
Formal Methods in Architecture : Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
| |
|
Author
|
|
|
|
| |
|
Language
|
|
|
|
English
| |
|
Source (series)
|
|
|
|
Advances in Science, Technology & Innovation
| |
|
Publication
|
|
|
|
Cham
:
Springer
,
2020
| |
|
ISBN
|
|
|
|
978-3-030-57509-0
| |
|
Volume/pages
|
|
|
|
XXXII, 313
| |
|