First Page | Document Content | |
---|---|---|
Date: 2018-10-19 18:15:18Computing Software engineering Computer programming Carnegie Mellon University Carnegie Mellon Silicon Valley Abstract interpretation Mellon Scala Refinement | Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon UniversityAdd to Reading ListSource URL: arieg.bitbucket.ioDownload Document from Source WebsiteFile Size: 3,03 MBShare Document on Facebook |