文献

J-GLOBAL ID：201002270090153536   整理番号：10A1116161

ユーザ定義特性のスケーラブルモジュールチェッキング

Towards Scalable Modular Checking of User-Defined Properties

著者 (5件)： BALL Thomas (Microsoft) ,  HACKETT Brian (Stanford Univ.) ,  LAHIRI Shuvendu K. (Microsoft) ,  QADEER Shaz (Microsoft) ,  VANEGUE Julien (Microsoft)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6217  ページ： 1-24  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (1件)： 定義