Automated Rule-Checking - a tool for design development

• Year: 2016
• Type: Paper in International Conference Proceedings
• Authors: João Pedro Poças Martins (FEUP); Bárbara Rangel ( FEUP); Vítor Abrantes Almeida ( FEUP)
• Content: Ata de Conferência : 41st IAHS WORLD CONGRESS - Sustainability and Innovation for the Future p. 1-8