Foundational and Practical Aspects of Resource Analysis More Books Like This
Dependable Software Engineering. Theories, Tools, and Applications
2017
FM 2016: Formal Methods
2016
Integrated Formal Methods
2020
Model Checking Software
2019
Model Checking Software
2018
Formal Methods and Software Engineering
2022
Automated Technology for Verification and Analysis
2017
Compiler Construction
2010
Software Engineering and Formal Methods
2018
Model Checking Software
2015
Software Engineering and Formal Methods
2016
Formal Methods: Foundations and Applications
2017
Formal Methods and Software Engineering
2016
Integrated Formal Methods
2016
Formal Methods and Software Engineering
2015