"28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January ..."

Maribel Fernández, Anca Muscholl (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics