Zhuo Zoey Chen,
Johannes Åman Pohjola,
Christine Rizkallah
Leibniz International Proceedings in Informatics Lipics
-
2025
Oskar Abrahamsson,
Magnus Myréen,
Michael Norrish,
Hrutvik Kanabar,
Johannes Åman Pohjola
Journal of Automated Reasoning
-
2025