Originalsprog | Engelsk |
---|---|
Artikelnummer | 5 |
Tidsskrift | ACM Transactions on Software Engineering and Methodology |
Vol/bind | 30 |
Udgave nummer | 1 |
Sider (fra-til) | 1-33 |
ISSN | 1049-331X |
DOI | |
Status | Udgivet - 2021 |
Verification of Program Transformations with Inductive Refinement Types
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar Dimovski, Andrzej Wasowski
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review