Michael Sammler - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Mon 11 Nov 2019

Name:Michael Sammler

Country:Germany

Affiliation:MPI-SWS

Contributions

2023

SPLASH

Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

Show activities from other conferences

Using general profile