Cover von Inductive Predicate Synthesis Modulo Programs opens in new tab

Inductive Predicate Synthesis Modulo Programs

Author: Gurfinkel, Arie
Statement of Responsibility: Arie Gurfinkel
Year: 2024
Media group: LIPIcs

Details

Author: Search for this author Gurfinkel, Arie
Statement of Responsibility: Arie Gurfinkel
Year: 2024
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 43:1-43:30
Participating parties: Search for this character Wesley, Scott; Christakis, Maria; Navas, Jorge A.; Trefler, Richard J.; Wüstholz, Valentin
Media group: LIPIcs