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 tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
Artikelnummer5
TidsskriftACM Transactions on Software Engineering and Methodology
Vol/bind30
Udgave nummer1
Sider (fra-til)1-33
ISSN1049-331X
DOI
StatusUdgivet - 2021

Citationsformater