Art

J-GLOBAL ID：200902265210157773   Reference number：07A0445878

Deciding Bit-Vector Arithmetic with Abstraction

抽象によるビット-ベクトル演算の決定

Author (6)： BRYANT Randal E. (Carnegie Mellon Univ., Pittsburgh) ,  KROENING Daniel (ETH Zuerich) ,  OUAKNINE Joeel (Oxford Univ. Computing Lab.) ,  SESHIA Sanjit A. (Univ. California, Berkeley) ,  STRICHMAN Ofer (Technion, Haifa) ,  BRADY Bryan (Univ. California, Berkeley)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 4424  Page： 358-372  Publication year： 2007 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (3)： 抽象 ,  ビット ,  ベクトル