Deductive Software Verification: Future Perspectives 비슷한 책 더 보기
Verified Software: Theories, Tools and Experiments
2014년
Verified Software. Theories, Tools, and Experiments
2016년
Verified Software. Theories, Tools, and Experiments
2020년
The Logic of Software. A Tasting Menu of Formal Methods
2022년
FM 2008: Formal Methods
2008년
Verified Software: Theories, Tools, and Experiments
2016년
Integrated Formal Methods
2017년
Formal Verification of Object-Oriented Software
2011년
Verified Software. Theories, Tools and Experiments.
2023년
Software Engineering and Formal Methods
2016년
Verified Software. Theories, Tools, and Experiments
2017년
Integrated Formal Methods
2020년
Verified Software. Theories, Tools, and Experiments
2018년
Software Engineering and Formal Methods
2019년
Integrated Formal Methods
2016년