REFINITY to Model and Prove Program Transformation Rules

  • Posted on: March 26, 2021 - 08:32
TitleREFINITY to Model and Prove Program Transformation Rules
Publication TypeKonferenzartikel (erschienen)
Year of Publication2020
AuthorsSteinhöfel, D
Conference NameProceedings of the 18th Asian Symposium on Programming Languages and Systems (APLAS)
Pagination217-231
PublisherSpringer
DOI10.1007/978-3-030-64437-6\_16
Undefined