Billede af Carsten Schürmann

Carsten Schürmann

 https://orcid.org/0000-0003-4793-0099

  • Rued Langgaards Vej 7, 4C corridor, RLV

    2300 Copenhagen

    Danmark

20062024

Publikationer pr. år

Filter
Andet bidrag

Søgeresultater

  • 2016

    Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 s.

    Publikation: Andet › Andet bidrag › Forskning

    Åben adgang
    Fil