Name Card

Full name Familienname, Vorname
Navas, Jorge A.
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wesley-2024-Inductive Predicate Synthesis Modulo Programs Extended-smur.pdf.jpgWesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie Inductive Predicate Synthesis Modulo Programs (Extended)Preprint Preprint 11-Jul-2024
2Wesley-2024-Inductive Predicate Synthesis Modulo Programs-vor.pdf.jpgWesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie Inductive Predicate Synthesis Modulo ProgramsInproceedings Konferenzbeitrag 2024