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

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