文献

J-GLOBAL ID：201402239970092662   整理番号：14A1342536

検証のための文字列制約

String Constraints for Verification

著者 (7件)： ABDULLA Parosh Aziz (Uppsala Univ., SWE) ,  ATIG Mohamed Faouzi (Uppsala Univ., SWE) ,  CHEN Yu-Fang (Academia Sinica, TWN) ,  HOLIK Lukas (Brno Univ. Technol., CZE) ,  REZINE Ahmed (Linkoeping Univ., SWE) ,  RUEMMER Philipp (Uppsala Univ., SWE) ,  STENMAN Jari (Uppsala Univ., SWE)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 8559  ページ： 150-166  発行年： 2014年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 検証 ,  文字列 ,  制約