Skip to content Skip to footer

Formal Methods in System Design

ISSNs: 0925-9856

Additional searchable ISSN (electronic): 1572-8102

Springer Fachmedien

Scopus rating (2023): CiteScore 2 SJR 0.4 SNIP 0.666

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