FME 2003: Formal Methods More Books Like This

Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2019
Advancing Research in Information and Communication Technology Advancing Research in Information and Communication Technology
Advancing Research in Information and Communication Technology
2021
Experimentation in Software Engineering Experimentation in Software Engineering
Experimentation in Software Engineering
2012
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020
Computational Science and Its Applications – ICCSA 2017 Computational Science and Its Applications – ICCSA 2017
Computational Science and Its Applications – ICCSA 2017
2017
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2020
Software-Intensive Systems and New Computing Paradigms Software-Intensive Systems and New Computing Paradigms
Software-Intensive Systems and New Computing Paradigms
2008
History and Philosophy of Computing History and Philosophy of Computing
History and Philosophy of Computing
2016
Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
2008
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2012
Lectures on Runtime Verification Lectures on Runtime Verification
Lectures on Runtime Verification
2018
Formal Methods: State of the Art and New Directions Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
2009
Verification and Validation in Systems Engineering Verification and Validation in Systems Engineering
Verification and Validation in Systems Engineering
2010
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2018