Integrating Induction and Coinduction via Closure Operators and Proof Cycles

von Cohen, Liron
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities

von Itzhaky, Shachar
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)