Ruivo, Catarina, Viana, D. L., Morais, F., Carvalho, Isabel Cristina & Vaz, J. V. (2020). ScavaTools: Strategies and tools for the mass dissemination of SCAVA techniques . In Eloy, Sara and Viana, David Leite and Morais, Franklim and Vaz, Jorge Vieira (Ed.), Proceedings of the 5th International Symposium Formal Methods in Architecture. Heidelberg