Cited By
View all- Zhang MOgata K(2018)From hidden to visibleTheoretical Computer Science10.1016/j.tcs.2018.01.006722:C(52-75)Online publication date: 25-Apr-2018
- Fuhs CKop CNishida N(2017)Verifying Procedural Programs via Constrained Rewriting InductionACM Transactions on Computational Logic10.1145/306014318:2(1-50)Online publication date: 2-Jun-2017
- Giesl JAschermann CBrockschmidt MEmmes FFrohn FFuhs CHensel JOtto CPlücker MSchneider-Kamp PStröder TSwiderski SThiemann R(2017)Analyzing Program Termination and Complexity Automatically with AProVEJournal of Automated Reasoning10.1007/s10817-016-9388-y58:1(3-31)Online publication date: 1-Jan-2017