32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy

Aniello Murano, Alexandra Silva 0001, editors, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. Volume 288 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Conference: csl2024

Editors

Aniello Murano

This author has not been identified. Look up 'Aniello Murano' in Google

Alexandra Silva 0001

This author has not been identified. Look up 'Alexandra Silva 0001' in Google