REFINITY to Model and Prove Program Transformation Rules

  • Veröffentlicht am: 26 März, 2021 - 08:32
TitelREFINITY 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