|
Title
|
|
|
|
Preface for the formal methods in system design special issue on SYNT 2021
|
|
|
Author
|
|
|
|
|
|
|
Language
|
|
|
|
English
|
|
|
Source (journal)
|
|
|
|
Formal methods in system design. - London, 1992, currens
|
|
|
Publication
|
|
|
|
Dordrecht
:
Springer
,
2022
|
|
|
ISSN
|
|
|
|
0925-9856
[print]
1572-8102
[online]
|
|
|
DOI
|
|
|
|
10.1007/S10703-023-00443-W
|
|
|
Volume/pages
|
|
|
|
61
:2-3
(2022)
, p. 137-138
|
|
|
ISI
|
|
|
|
001171148900001
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|