文献

J-GLOBAL ID：200902202171926991   整理番号：05A0849536

ターミネーションのための抽象化の改善

Abstraction Refinement for Termination

著者 (3件)： COOK Byron (Microsoft Res. Cambridge) ,  PODELSKI Andreas (Max-Planck-Inst. Infomatic, Saarbruecken) ,  RYBALCHENKO Andrey (Max-Planck-Inst. Infomatic, Saarbruecken)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3672  ページ： 87-101  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： ターミネーション ,  抽象化