Similar Listings
Haeberer - Algebraic Methodology and Software Technology 7th Interna - X555z
Spin Model Checking and Software Verification : 7th International Spin Worksh...
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