TY  - RPRT
TI  - Team Semantics for the Specification and Verification of Hyperproperties
AU  - Andreas Krebs
AU  - Arne Meier
AU  - Jonni Virtema
AU  - Martin Zimmermann
PY  - 2018
UR  - https://arxiv.org/abs/1709.08510
ID  - 1709.08510
ER  -