Micinski, Kristopher K.
- Temporal Logics for Hyperproperties
2014/01/17 by Michael R. Clarkson, Bernd Finkbeiner, Clarkson, Michael R. +9 · 15 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems