ISSN Record 0925-9856

loading icon Looking for matching records…
Displaying basic data
Get an ISSN Portal subscription to access more data and features
Talk to Sales
Confirmed record

Key title: Formal methods in system design

Identifiers

ISSN:
0925-9856
ISSN-L:
0925-9856

Titles

Title proper:
Formal methods in system design.

Publication

Medium:
Print
Other media:
Online
Normalized publisher:
Springer Science+Business Media [Wikidata: Q176916]
Normalized publisher (brand):
[Wikidata: ]
Country:
UNITED STATES

Search in

Record

Last modified:
2026/01/01
ISSN Center responsible for the record:
Netherlands