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
Corporate Authors: | , , |
---|---|
Format: | Book |
Language: | Inglés |
Published: |
New York :
Association for Computing Machinery
2004.
|
Subjects: | |
See on Universidad de Deusto: | https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991005860929703351&tab=default_tab&search_scope=deusto_alma&vid=deusto |
Request an interlibrarian loan:
Email