NATIONAL BIBLIOGRAPHY NUMBER
Number
ebl202225950
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Verification, model checking, and abstract interpretation :
Other Title Information
:18, 2022, Proceedings /-23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
, 2022.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
TOPICAL NAME USED AS SUBJECT
Computer software ; Verification ; Congresses. ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
Finkbeiner, Bernd, ;
old catalog
