FMA 3rd international symposium

Formal Methods in Architecture: 3rd international symposium, Novembro/Dezembro 2015, ESAP, Porto. Simpósio internacional que incluíu um call-for-papers, uma exposição de trabalhos que utlizam métodos formais e a apresentação do DephtSpace 3D – aplicação informática para sintaxe tridimensional.