Login
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
BibTeX