search result

Cover von Verified Software
Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13 - 14, 2019, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12031
Media group: MONOGRAPHIE
Cover von Sound Static Program Analysis in Modern Software Engineering; 10
pp. 37-74
Search for this author
Year: 2026
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
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