...
HAVOC:
...
SMT
...
solvers
...
for
...
precise
...
and
...
scalable
...
reasoning
...
of
...
programs
...
put
...
your
...
abstract
...
here
Shuvendu Lahiri & Shaz Qadeer, Microsoft Research, Redmond, USA
put your bio here
| Attachments | ||
|---|---|---|
|
Page History
Overview
Content Tools
Activity