Sign in

Logics and Algorithms for Hyperproperties.

Bernd Finkbeiner
Published in: ACM SIGLOG News (2023)
Keyphrases