28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maribel Fernández, Anca Muscholl, editors, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. Volume 152 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Conference: csl2020

This author has not been identified. Look up 'Maribel Fernández' in GoogleThis author has not been identified. Look up 'Anca Muscholl' in Google

runs on WebDSL