SPIN 2011

18th International Workshop on Model Checking of Software

July 14-15, 2011

Colocated with CAV 2011
Cliff Lodge, Snowbird, UT