First Page | Document Content | |
---|---|---|
![]() Date: 2018-08-13 11:51:43Software Computing Project management software Version control Community websites Composer GitHub Magento Bitbucket Package manager R Git | 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 |