Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops Más libros de Antonio Cerone, Marco Autili, Alessio Bucaioni, Claudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini & Gentiane Venture

From Data to Models and Back From Data to Models and Back
From Data to Models and Back
2025
Formal Methods for an Informal World Formal Methods for an Informal World
Formal Methods for an Informal World
2023
Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
2022
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
2021
Formal Methods – Fun for Everybody Formal Methods – Fun for Everybody
Formal Methods – Fun for Everybody
2021
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2020
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2018
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
2014