Dana Fisman
Senior Academic
Special Issue on Syntax-Guided Synthesis Preface
| Publication language | English |
| Pages | 469-470 |
| Journal | Formal Methods in System Design |
| Volume | 58 |
| Issue number | 3 |
| Publication status | Published - 01.11.2021 |
ASJC Scopus subject areas
Software
Theoretical Computer Science
Hardware and Architecture
