Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

    ORCID: 0000-0002-9174-1861

    Publication year:
    All
    1 - 1 out of 1Page size: 10
    1. 2024
    2. E-pub ahead of print

      Axiomatising an information flow logic based on partial equivalence relations

      Filinski, Andrzej, Larsen, Ken Friis & Jensen, Thomas Philip, 2024, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer.

      Research output: Contribution to journal › Journal article › Research › peer-review

    ID: 9314