Model Checking Software : 8th International Spin Workshop, Toronto, Canada, M...

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 1

Dwyer - Model Checking Software 8th International SPIN Workshop Tor - X555z

Model Checking Software : 19th International Spin Workshop, Oxford, Uk, July ...

Verified Software. Theories, Tools, and Experiments : 8th International Confe...

Model Checking Software : 9th International Spin Workshop, Grenoble, France, ...

Model Checking Software : 19th International Spin Workshop, Oxford, Uk, July ...

Verified Software. Theories, Tools, and Experiments : 8th International Confe...