Thomas Philip Jensen
Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0002-4064-7170
Der er ikke udfyldt nogen præsentation.
ID: 119744676
Flest downloads
-
11
downloads
Verification of Program Transformations with Inductive Refinement Types
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet