10th International SPIN Workshop on Model Checking of Software (SPIN 2003)






Further Information

This site is under construction. More complete information will be posted shortly. In the meantime, if you have questions, you can contact Tom Ball and Sriram Rajamani of Microsoft Research:

   

Tom Ball
Microsoft Research
Washington, USA
tball@microsoft.com

Sriram Rajamani
Microsoft Research
Washington, USA
sriram@microsoft.com