This page shows all presentations of this author published in EasyChair Smart Slide.
Deciding Hyperproperties Combined with Functional Specifications
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch