• Created by Unknown User (leberre_1@touchstonenetwork.net), last modified on Jun 16, 2011 07:58

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 3 Next »

HAVOC: SMT solvers for precise and scalable reasoning of programs

put your abstract here

 &[|http://research.microsoft.com/en-us/people/qadeer/][ShazQadeer|http://re">Shuvendu Lahiri & Shaz Qadeer, Microsoft Research, Redmond, USA

put your bio here

  File Modified
No files shared here yet.
  • No labels