Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars

von Fesefeldt, Ira
Veröffentlicht in ICGT (14. : 2021 : Online) Graph Transformation (2021)

Foundations for Entailment Checking in Quantitative Separation Logic

von Batz, Kevin
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)