Formal Methods in Security Engineering : Proceedings of the ... ACM workshop on Formal methods in security engineering
Resource type: Ressourcentyp: Zeitschrift (Online)Periodical (Online)Language: English Volumes: Bände: Show volumesZeige BändePublisher: New York, NY : Association for Computing Machinery, 2003-2008Description: Online-RessourceOther title:- Nebent: CCS, Computer and Communications Security
- FMSE
- 004
No physical items for this record