Metadata only
Date
2015Type
- Conference Paper
Citations
Cited 14 times in
Web of Science
Cited 19 times in
Scopus
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. ProceedingsJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Organisational unit
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata
Citations
Cited 14 times in
Web of Science
Cited 19 times in
Scopus
ETH Bibliography
yes
Altmetrics