Tools for Traceable Security Verification
Samson Abramsky; Erol Gelenbe; Vladimiro Sassone (Hrsg). Visions of Computer Science - BCS Research Conference: Proceedings of Visions of Computer Science BCS Research Conference; Imperial College, London, UK; 22–24 September 2008. Swindon: British Computer Society 2008 S. 367 - 378
Erscheinungsjahr: 2008
ISBN/ISSN: 978-1-906124-08-3
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Geprüft | Bibliothek |