8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Gaboardi, Femke van Raamsdonk, editors, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. Volume 260 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Conference: fscd2023

This author has not been identified. Look up 'Marco Gaboardi' in GoogleThis author has not been identified. Look up 'Femke van Raamsdonk' in Google

runs on WebDSL