3rd International Symposium

Formal Methods in Architecture

23rd of November - 4th of December 2015

mfa2015

PROGRAMME

BOOK OF ABSTRACTS

This symposium was a joint initiative between the following departments of ESAP: