First Page | Document Content | |
---|---|---|
![]() Date: 2014-06-25 04:45:20Distributed revision control systems Project management software Version control Git Bitbucket Mercurial Repo Apache Subversion TortoiseHg 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 |