Metadata only
Autor(in)
Alle anzeigen
Datum
2018Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Verification, Model Checking, and Abstract InterpretationZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03950 - Hoefler, Torsten / Hoefler, Torsten
03948 - Vechev, Martin / Vechev, Martin
ETH Bibliographie
yes
Altmetrics