
FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA , October 29, 2004, co-located with CCS 2004
- 責任表示:
- sponsored by ACM SIGSAC
- シリーズ名:
- ACM Conference Proceedings
- シリーズ巻号:
- FMSE 2004
- 出版情報:
- New York: Association for Computing Machinery, 2004
- ISBN:
- 9781581139716 [1581139713]
- 請求記号:
- A04533/2004
- 資料種別:
- 国際会議録
類似資料:
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |