Formal Methods in Security Engineering Workshop (FMSE 04) [... selected papers presented at the Second ACM Workshop on Formal ... held in Washington DC, October 29th, in conjunction with the 11th ACM Conference on Computer and Communications Security]

Bibliographische Detailangaben

Körperschaft:	Association for Computing Machinery (BerichterstatterIn)
Weitere Verfasser:	Backes, Michael (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. IOS Press 2007
Schriftenreihe:	Journal of computer security Special issue 15.2007,6
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!