Verification of Program Transformations with Inductive Refinement Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar Dimovski, Andrzej Wasowski

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
Article number5
JournalACM Transactions on Software Engineering and Methodology
Volume30
Issue number1
Pages (from-to)1-33
ISSN1049-331X
DOIs
Publication statusPublished - 2021

Cite this