文献

J-GLOBAL ID：200902265210157773   整理番号：07A0445878

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

Deciding Bit-Vector Arithmetic with Abstraction

著者 (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)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 4424  ページ： 358-372  発行年： 2007年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 抽象 ,  ビット ,  ベクトル