Thomas Philip Jensen
Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0002-4064-7170
There is no presentation filled.
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