Dashboard
Directory
Archived Titles
Statistics
Comparison Tools
External Tools
Formal methods in system design.
Program:
CLOCKSS
Publisher:
Kluwer Academic Publishers
Print ISSN:
0925-9856
Electronic ISSN:
1572-8102
OCLC Number:
Summary Holdings:
v.1-v.60 (1992-2023); v.125 (2018)
Holdings Format:
Digital