Dias, J., Galli, R. & Gamito, M. N. (2002). Cooperative Work Support and Automatic Design Verification in Architecture and Building Construction. In Proc eSM@RT 2002 - Towards a European Knowledge Economy in the Construction & Related Sectors, The European Conference on Information and Communication Technology Advances and Innovation in the Knowledge Society, University of Salford, UK. Salford: University of Salford.