search result

Cover von Inductive Predicate Synthesis Modulo Programs

Inductive Predicate Synthesis Modulo Programs

Author: Gurfinkel, Arie
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0