Thomas Philip Jensen

Thomas Philip Jensen

Professor

ORCID: 0000-0002-4064-7170

Publication year:
All
1 - 1 out of 1Page size: 10
  1. 2021
  2. Published

    Verification of Program Transformations with Inductive Refinement Types

    Al-Sibahi, A. S., Jensen, Thomas Philip, Dimovski, A. S. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, 33 p., 5.

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

ID: 119744676