Abstract Interpretation as Automated Deduction
D’Silva, Vijay, Urban, CaterinaVolume:
58
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9382-4
Date:
March, 2017
File:
PDF, 874 KB
english, 2017