文献
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)