Learning a Static Analyzer from Data

Thumbnail
Metadata only
Autor(in)
Bielik, Pavol
Raychev, Veselin
Vechev, Martin
Datum
2017-07
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Herausgeber(in)
Majumdar, Rupak
Kunčak, Viktor
Buchtitel
Computer Aided Verification, Proceedings Part I
Zeitschrift / Serie
Lecture Notes in Computer Science
Band
10426
Seiten / Artikelnummer
233 - 253
Verlag
Springer
Konferenz
29th International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 24-28, 2017
Organisationseinheit
03948 - Vechev, Martin / Vechev, Martin  
Zugehörige Publikationen und Daten
Mehr
Alle Metadaten anzeigen
Zitate
14 Zitate in Web of Science
ETH Bibliographie
yes
Altmetrics