Login / Signup

Deciding Hyperproperties.

Bernd FinkbeinerChristopher Hahn
Published in: CONCUR (2016)
Keyphrases
  • making decisions
  • decision makers