Collection
Special Issue: Synthesis Progress
The journal of Formal Methods in System Design is now accepting submissions to a new thematic issue, entitled "Synthesis Progress"
To contribute to this special issue, select "SI: Synthesis Progress" while submitting your work.
Editors
-
Dr. Elizabeth Polgreen
The University of Edinburgh United Kingdom
-
Dr. Guillermo Alberto Perez
University of Antwerp Belgium
