Thomas Philip Jensen
Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0002-4064-7170
1 - 1 out of 1Page size: 10
- 2024
- 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
Most downloads
-
16
downloads
Verification of Program Transformations with Inductive Refinement Types
Research output: Contribution to journal › Journal article › Research › peer-review
Published