文献

J-GLOBAL ID：201202208069787646   整理番号：12A1568459

ソフトウェアセキュリティ:形式的観点

Software Security: A Formal Perspective

著者 (2件)： ABADI Martin (Microsoft Res. Silicon Valley, USA) ,  ABADI Martin (Univ. California, Santa Cruz, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7436  ページ： 1-5  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： ソフトウェアセキュリティ ,  観点