Marco Peressotti

Søgeresultater

• A Formal Theory of Choreographic Programming in Coq

  Cruz-Filipe, L. (Ophavsmand), Montesi, F. (Ophavsmand) & Peressotti, M. (Ophavsmand), Zenodo, 5. sep. 2022

  DOI: 10.5281/zenodo.7773479, https://zenodo.org/record/7773479

  Datasæt