| Wiki Markup |
|---|
h1. HAVOC: SMT solvers for precise and scalable reasoning of programs |
...
_put your abstract |
...
Shuvendu Lahiri & Shaz Qadeer, Microsoft Research, Redmond, USA
put your bio here
...
here_
h1. [Shuvendu Lahiri|http://research.microsoft.com/en-us/people/shuvendu/]{color:#3333ff} {color}{color:black}&{color}[ |http://research.microsoft.com/en-us/people/qadeer/][Shaz Qadeer|http://research.microsoft.com/en-us/people/qadeer/], Microsoft Research, Redmond, USA
_put your bio here_
{attachments:patterns=.*} |