Javier Camara

• Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems
• Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops