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.
This Special Collection is based on work that was presented to the SAS 2020 Conference.
-
Dr. Mihaela Sighireanu
ENS Paris-Saclay: Ecole Normale Superieure Paris-Saclay France