4th International Symposium

Formal Methods in Architecture

2nd - 6th of April 2018

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

It was organized by Opo'Arch, supported by:

Publishing partner: