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 CAV 2020 Conference.
-
Caterina Urban
caterina.urban@inria.fr -
Aws Albarghouthi
aws@cs.wisc.edu