Browse by Person
 | Up a level |
Number of items: 1.
Conference or Workshop Item
Atluri, Vijayalakshmi ; Backes, Michael ; Basin, David ; Waidner, Michael (2004)
Proceedings of the 2004 ACM Workshop on Formal Methods in Security
Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004.
Conference or Workshop Item, Bibliographie
Drucken
Impressum