Security Verification

Document type:: Konferenzbeitrag
Contribution type:: Vortrag / Präsentation
Author(s):: H. Boche
Title:: Security Verification
Book / Congress title:: CASA: Cybersicherheit im Zeitalter großskaliger Angreifer
Congress (additional information):: Research HUB B Workshop on Computer aided Property Verification
Organization:: Ruhr Universität Bochum
Date of congress:: 04.02.2021
Year:: 2021
Year / month:: 2021-02
Month:: Feb
Language:: en
TUM Institution:: Lehrstuhl für Theoretische Informationstechnik
Ingested:: 16.02.2021
BibTeX