SPIN Model Checking and Software Verification 7th International S

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

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

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

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

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

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