ITU

Verification of Program Transformations with Inductive Refinement Types

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

View graph of relations

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

ID: 86469680