Journal
Formal Methods in System Design
Formal Methods in System Design is a journal dedicated to presenting the latest advancements in formal methods for hardware and software system design.
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.
-
Dr. Elizabeth Polgreen
The University of Edinburgh United Kingdom -
Dr. Guillermo Alberto Perez
University of Antwerp Belgium