Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Ball, Thomas; Ball, Thomas; Rajamani, Sriram K.; Rajamani, Sriram K. (Springer Berlin Heidelberg : Imprint: Springer, 2003)