Formal Methods in Security Engineering : Proceedings of the ... ACM workshop on Formal methods in security engineering

Resource type: Ressourcentyp: Zeitschrift (Online)Periodical (Online)Language: English Volumes: Bände: Show volumesZeige BändePublisher: New York, NY : Association for Computing Machinery, 2003-2008Description: Online-RessourceOther title:
  • Nebent: CCS, Computer and Communications Security
  • FMSE
Genre/Form: DDC classification:
  • 004
Online resources: Publication dates: Erscheinungsverlauf: 2003 - 2008 nachgewiesenHoldings: KIT-Bibliothek: 2003 - 2008; Fachbibliothek HKA: 2003 - 2023.2008PPN: PPN: 727810847ZDB ID: ZDB-ID: 2685844-7
No physical items for this record