Fritz Henglein

Fritz Henglein

Professor

Most downloads

  1. 366 downloads
    Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Research output: Contribution to conferencePaperResearchpeer-review

  2. 253 downloads
    Published
  3. 212 downloads
    Published

    Big Data eller privacy?

    Research output: Contribution to conferencePaperResearch

  4. 133 downloads
    Published

    Relational algebra by way of adjunctions

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  5. 105 downloads
    Published

    Blockchain deconstructed

    Research output: Contribution to conferenceConference abstract for conferenceResearch

ID: 7193