Media type: E-Book; Video Title: IV FMA 2018 - Work Session III Contributor: Pala, Giacomo [Author]; N. N. (Moderation) [Other]; Mendes, Sérgio [Other]; Silva, Nuno Pereira da [Other]; Eloy, Sara [Other] imprint: [Erscheinungsort nicht ermittelbar]: Formal Methods in Architecture (FMA), 2018-01-01 Published in: 4th Symposium Formal Methods in Architecture (4FMA), Porto 2018 ; (Jan. 2018) Extent: 1 Online-Ressource (510 MB, 01:02:09:19) Language: English DOI: 10.5446/48223 Identifier: Origination: Footnote: Audiovisuelles Material Access State: Open Access Rights information: Attribution (CC BY)