"29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January ..."

Christel Baier, Jean Goubault-Larrecq (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics