Haeberer - Algebraic Methodology and Software Technology 7th Interna - X555z

Spin Model Checking and Software Verification : 7th International Spin Worksh...

Shishkov - Business Modeling and Software Design 7th International S - X555z

Liu - Automated Technology for Verification and Analysis 7th Internat - X555z

Barner - Hardware and Software Verification and Testing 6th Interna - X555z

McMillan - Verification Model Checking and Abstract Interpretation - X555z

Logozzo - Verification Model Checking and Abstract Interpretation - X555z