Browsing by Author

Showing results 1 to 1 of 1
Authors / EditorsTitleTypeIssue Date
Arif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu ; Reynolds, Andrew ; Chowdhury, Omar ; Tinelli, Cesare ; Ivrii, Alexander ; Strichman, Ofer SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite TracesInproceedings 2020