Thomas Philip Jensen
Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0002-4064-7170
1 - 1 ud af 1Pr. side: 10
- 2021
- 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
Flest downloads
-
12
downloads
Verification of Program Transformations with Inductive Refinement Types
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet