דנה פיסמן
אקדמי בכיר
Special Issue on Syntax-Guided Synthesis Preface
| שפת פרסום | אנגלית |
| דפים | 469-470 |
| כתב עת | Formal Methods in System Design |
| כרך | 58 |
| נושא מספר | 3 |
| סטטוס פרסום | פורסם - 01.11.2021 |
ASJC Scopus subject areas
Software
Theoretical Computer Science
Hardware and Architecture
