Art

J-GLOBAL ID：201402239970092662   Reference number：14A1342536

String Constraints for Verification

検証のための文字列制約

Author (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)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 8559  Page： 150-166  Publication year： 2014 
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)： 検証 ,  文字列 ,  制約