Not finding it? Sign in to also search OpenAlex live.
Fredrik Dahlqvist, Alexandra Silva, Dexter C. Kozen, Sam Staton, Daniel Huang, Greg Morrisett, +40 more
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
2 results