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 |
|||