Not finding it? Sign in to also search OpenAlex live.
Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen
Marcel Hark, Jürgen Giesl, Fabian Meyer
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
4 results