Title:
Formal Methods in System Design
Abbreviated Title:
Form Method Syst Des
Publisher:
Springer Nature
ISSN
(Print):
0925-9856
ISSN
(Electronic):
1572-8102
Publication date Created:
April
1993
Publication date
(Print):
April
1993
Volume: 2
Issue: 2
Pages: 121-147
Article
DOI: 10.1007/BF01383878
SO-VID: 5fbdf25b-5560-41a6-bd0d-b815b2d79263
Copyright © ©
1993