FMA 3rd international symposium
Formal Methods in Architecture: 3rd international symposium, November / December 2015, ESAP, Porto. International symposium that included a call-for-papers, an exhibition of works that use formal methods and the presentation of DephtSpace 3D – computer application for three-dimensional syntax.