抽象解释结果的目标导向弱化 电子书下载

原名:Goal-directed Weakening of Abstract Interpretation Results
作品简介:处理器在整个证明构造中进行抽象解释 作者地址：S. Seo 和 T. Han，计算机科学系，……