Spin Model Checking and Software Verification: 7th International Spin Workshop

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

SPIN Model Checking and Software Verification: 7th International SPIN Workshop S

Hardware and Software: Verification and Testing: 7th International Haifa Verific

Verification, Model Checking, and Abstract Interpretation : 9th International...

SPIN Model Checking and Software Verification: 7th International SPIN Workshop S

Structured Object-Oriented Formal Language and Method: 11th International Worksh

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