Concise Guide to Software Verification: From Model Checking to Annotation Checking

Format:: e-book
Title:: Concise Guide to Software Verification: From Model Checking to Annotation Checking
Author:: Marieke Huisman; Wijs, Anton
Language:: English
Publisher:: Springer Nature (Textbooks & Major Reference Works) 2023
ISBN:: 3-031-30166-8
3-031-30167-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:27901210400041?locale=en