Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
ORCID: 0000-0001-5190-2125
1 - 1 out of 1Page size: 10
Sort by: Start date
- 2017
Blockchain Summer School 2017
Duedder, Boris (Organizer), Ross, Omry (Organizer) & Henglein, Fritz (Organizer)
14 Aug 2017 → 18 Aug 2017Activity: Participating in an event - types › Organisation of and participation in conference
ID: 7193
Most downloads
-
315
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
220
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
194
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published