| Wiki Markup |
|---|
h1. Modern SMT Solver Implementation |
...
_put your abstract |
...
Leonardo DeMoura & Nikolaj Bjorner, Microsoft Research, Redmond, USA
put your bio here
...
here_
h1. [Leonardo DeMoura|http://research.microsoft.com/en-us/um/people/leonardo/] & [Nikolaj Bjorner|http://research.microsoft.com/en-us/people/nbjorner/], Microsoft Research, Redmond, USA
_put your bio here_
{attachments:patterns=.*} |