Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering
著者
書誌事項
Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering
Association for Computing Machinery, 2003-
- '03 (2003)-
- タイトル別名
-
FMSE
ACM Workshop on Formal Methods in Security Engineering
Formal Methods in Security Engineering
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
2003 conference co-located with CCS'03, the 10th ACM Conference on Computer and Communications Security, in Washington, D.C
Also available online to subscribers
HTTP:URL=http://portal.acm.org/browse%5Fdl.cfm?linked=1&part=series&idx=SERIES11255&coll=portal&dl=ACM&CFID=67257559&CFTOKEN=36308399