FMSE '05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005
著者
書誌事項
FMSE '05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005
ACM press, c2005
- タイトル別名
-
Third ACM Workshop on Formal Methods in Security Engineering
FMSE 2005
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and author index
ACM order number 100055
HTTP:URL=http://portal.acm.org/toc.cfm?id=1103576