First Page | Document Content | |
---|---|---|
![]() Date: 2014-12-14 07:39:42Business Technology Customer experience management Atlassian JIRA Confluence Usability Marketing Bitbucket Software Computing Project management software | Add to Reading List |
![]() | LNCSModular Synthesis of Sketches Using ModelsDocID: 1xVZI - View Document |
![]() | Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon UniversityDocID: 1xVXp - View Document |
![]() | Search, Align, and Repair: Data-Driven FeedbackDocID: 1xVRZ - View Document |
![]() | Microsoft Word - ConvProgrammersCHI16-CameraReadyFinal.docxDocID: 1xVRs - View Document |
![]() | LNCSSynthesizing Number Transformations from Input-Output ExamplesDocID: 1xVOk - View Document |