Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa,

Abate - Numerical Software Verification 10th International Workshop - X555z

Donaldson - Model Checking Software 19th International SPIN Workshop - X555z

Schmidt - Component-Based Software Engineering 10th International Sy - X555z

Payer - Engineering Secure Software and Systems 10th International S - X555z

Bosnacki - Model Checking Software 14th International SPIN Workshop - X555z

Godefroid - Model Checking Software 12th International SPIN Workshop - X555z

Valmari - Model Checking Software 13th International SPIN Workshop - X555z