IVVES (Industrial-Grade Verification and Validation of Evolving Systems). - Pekka Aho; Tanja E. J. Vos; Otto Sybrandi; Sorin Patrasoiu; Joona Oikarinen; Olivia Rodríguez-Valdés; Lianne V. Hufkens (RCIS Workshops, 2022)