Thomas Philip Jensen

Thomas Philip Jensen

Professor

ORCID: 0000-0002-4064-7170

Udgivelsesår:
Alle
1 - 1 ud af 1Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

    Verification of Program Transformations with Inductive Refinement Types

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

ID: 119744676