Structured Object-Oriented Formal Language and Method More Books Like This
Theoretical Aspects of Software Engineering
2022
Dependable Software Engineering. Theories, Tools, and Applications
2021
Tests and Proofs
2019
Formal Methods
2021
NASA Formal Methods
2022
Software Engineering and Formal Methods
2021
Leveraging Applications of Formal Methods, Verification and Validation. Verification
2018
Software Engineering and Formal Methods
2022
NASA Formal Methods
2020
Integrated Formal Methods
2022
Structured Object-Oriented Formal Language and Method
2018
Dependable Software Engineering. Theories, Tools, and Applications
2022
Formal Methods and Software Engineering
2020
NASA Formal Methods
2017
Formal Methods – The Next 30 Years
2019