Verification, Model Checking, and Abstract Interpretation
Metadata only
Date
2020Type
- Conference Proceedings
ETH Bibliography
no
Altmetrics
Publication status
publishedJournal / series
Lecture Notes in Computer ScienceVolume
Publisher
SpringerEvent
Organisational unit
02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems
Related publications and datasets
Has part: https://doi.org/10.3929/ethz-b-000465582
More
Show all metadata
ETH Bibliography
no
Altmetrics