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.

IR

Date

Tags