Logo
Benutzer: Gast  Login
Autoren:
Kinder, Johannes 
Dokumenttyp:
Konferenzbeitrag / Conference Paper 
Titel:
Hypertesting: The Case for Automated Testing of Hyperproperties 
Konferenztitel:
Workshop on Hot Issues in Security Principles and Trust (3., 2015, London) 
Konferenztitel:
3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot) 
Tagungsort:
London, UK 
Jahr der Konferenz:
2015 
Datum Beginn der Konferenz:
18.04.2015 
Jahr:
2015 
Seiten von - bis:
1-8 
Sprache:
Englisch 
Open Access ja oder nein?:
Ja / Yes