Formal methods in system design.
Saved in:
Publication history: | Began with v. 1, no. 1 (July 1992). |
---|---|
Language: | English |
Notes: | Refereed/Peer-reviewed |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
SpringerLink Journals - AutoHoldings | Available | |||||||||||||||
Portfolio Information | ||||||||||||
Portfolio 1 | |||
From Year | 1997 | Until Year | 2021 |
From Volume | 10 | Until Volume | 59 |
From Issue | 1 | Until Issue | 1 |