Combining termination proofs in model transformation systems

DOI10.1017/S0960129512000369zbMath1342.68175MaRDI QIDQ5740376

Reiko Heckel, Dénes Bisztray

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems