Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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üftBibliothek

Autoren


Yu, Yijun (Autor)
Bauer, Andreas (Autor)

Verknüpfte Personen