Formal Methods in System Design

ISSNs: 0925-9856

Springer Netherlands

Scopus rating (2021), Scopus (2020), Scopus (2020), Scopus (2020)

Journal

Publications

Discover related content

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

View graph of relations