Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Hypertesting: The Case for Automated Testing of Hyperproperties
Conference title:
Workshop on Hot Issues in Security Principles and Trust (3., 2015, London)
Conference title:
3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot)
Venue:
London, UK
Year of conference:
2015
Date of conference beginning:
18.04.2015
Year:
2015
Pages from - to:
1-8
Language:
Englisch
Open Access yes or no?:
Ja / Yes
BibTeX