Simon Spies

Registered user since Sat 7 Nov 2020

Name:Simon Spies
Country:Germany
Affiliation:MPI-SWS & Saarland University

Contributions

POPL 2023 DimSum: A Decentralized Approach to Multi-language Semantics and Verification
Show activities from other conferences

Using general profile