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

Verification, Model Checking, And Abstract Interpretation : 7th International...

Havelund - SPIN Model Checking and Software Verification 7th Interna - X555z

Verification, Model Checking, And Abstract Interpretation : 7th International...

Verification, Model Checking, and Abstract Interpretation: 7th International Con

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherl