Skip to content Skip to footer

Formal Methods in System Design

ISSNs: 0925-9856

Additional searchable ISSN (electronic): 1572-8102

Springer Fachmedien

Scopus rating (2022): CiteScore 3 SJR 0.32 SNIP 0.915

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