Model checking software 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005 ; proceedings (Springer, 2005)
3639