Team Semantics for the Specification and Verification of Hyperproperties.

Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann

Browse the full MFCS paper archive.