Learning a Static Analyzer from Data - Research Collection

Metadata only

Author

Raychev, Veselin

Date

2017-07

Type

Conference Paper

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/978-3-319-63387-9_12

Editor

Majumdar, Rupak

Kunčak, Viktor

Book title

Computer Aided Verification, Proceedings Part I

Journal / series

Lecture Notes in Computer Science

Volume

10426

Pages / Article No.

233 - 253

Publisher

Springer

Event

29th International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 24-28, 2017

Organisational unit

03948 - Vechev, Martin / Vechev, Martin

More

Show all metadata

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics