Hypertesting : The Case for Automated Testing of Hyperproperties. / Kinder, Johannes.

3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015). 2015. p. 1-8.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

Original languageEnglish
Title of host publication3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015)
Pages1-8
Number of pages8
Publication statusPublished - Mar 2015
Event3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015) - , United Kingdom
Duration: 18 Apr 2015 → …

Conference

Conference3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015)
CountryUnited Kingdom
Period18/04/15 → …
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 24051359