Formal Methods in System Design

• Print-ISSN 9259856
• E-ISSN 15728102
• Active or Inactive Active
• Article language in source(three-letter ISO language codes) ENG
• Publisher's Name Kluwer Academic Publishers
• Publisher imprints grouped to main Publisher Springer Nature
• Publisher's Country Netherlands
• All Science Classification Codes (ASJC) Hardware and Architecture
• All Science Classification Codes (ASJC) Theoretical Computer Science
• All Science Classification Codes (ASJC) Software
• 2016 CiteScore 2.03
• 2016 SJR 0.679
• 2016 SNIP 1.941