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

Sketching: Program Synthesis using SAT Solvers

put your abstract here

Armando Solar-Lezama, MIT, Cambridge, USA

put your bio here

  File Modified
Microsoft Powerpoint Presentation SMTSummerSchool-SolarLezama.pptx Jun 16, 2011 22:48 by leberre_1@touchstonenetwork.net
  • No labels