文献

J-GLOBAL ID：201102219832823890   整理番号：11A1435186

代数仕様における自動欠陥検出

Automated Flaw Detection in Algebraic Specifications

著者 (3件)： DUNETS Andriy (Univ. of Augsburg, Inst. for Software and Systems Engineering, 86135, Augsburg, DEU) ,  SCHELLHORN Gerhard (Univ. of Augsburg, Inst. for Software and Systems Engineering, 86135, Augsburg, DEU) ,  REIF Wolfgang (Univ. of Augsburg, Inst. for Software and Systems Engineering, 86135, Augsburg, DEU)
資料名： Journal of Automated Reasoning  (Journal of Automated Reasoning)
巻： 45  号： 4  ページ： 359-395  発行年： 2010年12月 
JST資料番号： D0269E  ISSN： 0168-7433  CODEN： JAREEW  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 代数仕様 ,  欠陥検出