Website Search
Find information on spaces, staff, and services.
Catalog Search
Journals, Magazines, Newspapers
Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering
- Author / Creator
- Conferences
- ACM Workshop on Formal Methods in Security Engineering
- Available as
- Physical
Details
Checking for availability...
- Creator
- sponsored by ACM SIGSAC
- Other Title
-
- At head of title: FMSE
- Included Title
-
- ACM Digital Library conferences
- Format
- Journals, Magazines, Newspapers
- Language
- English
- Contributors
- Publication
-
- New York : Association for Computing Machinery, 2003-
- Publication Dates
- 2003-
- Physical Details
-
- volumes : illustrations ; 28 cm
- OCLC
- ocm54751187
- 2003 conference co-located with CCS'03, the 10th ACM Conference on Computer and Communications Security, in Washington, D.C.
- Also available in electronic format on the World Wide Web.