Proceedings of the 2005 ACM workshop on Formal methods in security engineering

Weitere Versionen (2)
Gespeichert in:
Weitere Titel:
FMSE '05
Körperschaft:
12th ACM Conference on Computer and Communications Security 2005 Alexandria, VA, USA
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York, NY ACM 2005
Umfang:
1 online resource (84 pages)
Schriftenreihe:
ACM Digital Library
ISBN:
1595932313
Schlagworte:
Computer science
Computer Systems Organization
Software
Theory of Computation
Konferenzschrift
Links: