Metadata only
Datum
2013Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Verification, Model Checking, and Abstract Interpretation : 14th International Conference : ProceedingsZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03653 - Müller, Peter / Müller, Peter
ETH Bibliographie
yes
Altmetrics