학술논문
Hyperhierarchy of semantics - a formal framework for hyperproperties verification
Document Type
Conference Paper
Author
Source
In: Static Analysis - 24th International Symposium, SAS 2017, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10422 LNCS:232-252)
Subject
Language
English
ISSN
16113349
03029743
03029743