Abstract Semantic Differencing via Speculative Correlation Nimrod Partush Eran Yahav Technion

First Page		Document Content
Date: 2014-09-28 10:55:49 Logic Algorithm Abstraction Model theory Function Model checking Mathematics Theoretical computer science Abstract interpretation		Abstract Semantic Differencing via Speculative Correlation Nimrod Partush Eran Yahav Technion Add to Reading List Source URL: www.cs.technion.ac.il Download Document from Source Website File Size: 674,57 KB Share Document on Facebook