Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, Bygning B, 2100 København Ø, Bygning B, Bygning: 01-0-009
ORCID: 0000-0001-5190-2125
1 - 1 ud af 1Pr. side: 50
Sortering: Start dato
- 2017
Blockchain Summer School 2017
Duedder, Boris (Arrangør), Ross, Omry (Arrangør), Henglein, Fritz (Arrangør)14 aug. 2017 → 18 aug. 2017Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation af og deltagelse i konference
ID: 7193
Flest downloads
-
299
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
196
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
135
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet