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 |
