Number of items: 1.
Conference or Workshop Item (A Paper)
Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Krötzsch, Markus
(2022)
Deciding Hyperproperties Combined with Functional Specifications.
(In Press)
This list was generated on Fri May 30 12:35:09 2025 CEST.