Proceedings of the 10th international conference on Model checking software

• Authors:

• Thomas Ball;Sriram K. Rajamani

• Affiliations:

• Microsoft Research, Redmond, WA;Microsoft Research, Redmond, WA

• Venue:
• SPIN'03 Proceedings of the 10th international conference on Model checking software
• Year:
• 2003