1st Symposium

Formal and Semi-formal Methods in Architecture

16 - 17 of May 2011

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