Proceedings of the 2005 ACM workshop on Formal methods in security engineering
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: ACM Digital Library | ACM ConferencesVerlag: New York, NY : ACM, 2005Beschreibung: Online-Ressource (1 online resource (84 pages))ISBN:- 1595932313
- FMSE '05
Dieser Titel hat keine Exemplare
Association for Computing Machinery-Digital Library