Formal Methods in System Design
ISSNs: 0925-9856
Additional searchable ISSN (electronic): 1572-8102
Springer, Dordrecht [u. a.]
Scopus rating (2024): CiteScore 2.3 SJR 0.345 SNIP 1.035
Journal
Titles |
|
---|---|
ISSNs | 0925-9856 |
Additional searchable ISSN (electronic) | 1572-8102 |
Publisher | Springer, Dordrecht [u. a.] |
ZDB-ID | 1479899-2 |