"32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February ..."

Aniello Murano, Alexandra Silva (2024)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2024-02-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics