Bernd Finkbeiner, Martin Zimmermann 0002. The First-Order Logic of Hyperproperties. In Heribert Vollmer, Brigitte Vallée, editors, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany. Volume 66 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.