Skip to content Skip to footer

Formal Methods in System Design

ISSNs: 0925-9856

Additional searchable ISSN (Electronic): 1572-8102

Springer Fachmedien

Scopus rating (2021): CiteScore 2.8 SJR 0.502 SNIP 1.274

Journal

Titles
  • Formal Methods in System Design
ISSNs0925-9856
Additional searchable ISSN (Electronic)1572-8102
PublisherSpringer Fachmedien
ZDB-ID1479899-2

Keywords

ASJC Scopus subject areas

Related content