TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Jump to: 2004
Number of items: 1.
2004
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