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

Weitere Versionen (2)
Gespeichert in:
Weitere Titel:
FMSE '03
Körperschaft:
Tenth ACM Conference on Computer and Communications Security 2003 Washington, DC, USA
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York, NY ACM 2003
Umfang:
1 online resource (93 pages)
Schriftenreihe:
ACM Digital Library
ISBN:
1581137818
Schlagworte:
Computer science
Software
Computer Systems Organization
Theory of Computation
Konferenzschrift
Links: