Thomas Philip Jensen

Thomas Philip Jensen

Professor

ORCID: 0000-0002-4064-7170

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: 119744676