Formal Methods in System Design

ISSNs: 0925-9856

Springer Netherlands

Scopus rating (2018): CiteScore 1.78 SJR 0.308 SNIP 1.026

Journal

Publications

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations