NATIONAL BIBLIOGRAPHY NUMBER
Number
ebl202213216
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for industrial critical systems :
Other Title Information
:3, 2020, Proceedings /-25th International Conference, FMICS 2020, Vienna, Austria, September 2
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
, 2020.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
TOPICAL NAME USED AS SUBJECT
Software engineering ; Congresses. ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
Beek, Maurice H. ter. ;
old catalog
