First Page | Document Content | |
---|---|---|
![]() Date: 2015-04-27 20:42:50Distributed revision control systems Project management software Version control Bitbucket Mercurial Atlassian ReStructuredText Git Hgsubversion Software Computing Computer programming | 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 |