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!
|
Other title: | Formal methods in system design (Online) |
---|---|
Publication Frequency: | Bimonthly |
ISSN: | 1572-8102 0925-9856 |
Hierarchical level: | Serial |