Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops More Books Like This
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
2023
Software Engineering and Formal Methods
2020
From Software Engineering to Formal Methods and Tools, and Back
2019
Explainable and Transparent AI and Multi-Agent Systems
2021
Artificial General Intelligence
2018
Software Technologies: Applications and Foundations
2018
Formal Methods and Software Engineering
2018
Formal Methods. FM 2019 International Workshops
2020
AI*IA 2016 Advances in Artificial Intelligence
2016
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Formal Techniques for Safety-Critical Systems
2020
Software Engineering and Formal Methods
2017
Formal Methods. FM 2019 International Workshops
2020
Formal Methods: State of the Art and New Directions
2009
AI*IA 2019 – Advances in Artificial Intelligence
2019