Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings

Deepak D’Souza* (Editor), Akash Lal (Editor), Kim Guldstrand Larsen (Editor)

*Corresponding author

Research output: Book/ReportAnthologyResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
PublisherSpringer
Volume8931
ISBN (Print)978-3-662-46080-1
ISBN (Electronic)978-3-662-46081-8
DOIs
Publication statusPublished - 2015
Event16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 - Mumbai, India
Duration: 12 Jan 201514 Jan 2015
SeriesLecture Notes in Computer Science
Volume8931
ISSN0302-9743

Conference

Conference16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015
CountryIndia
CityMumbai
Period12/01/201514/01/2015
SponsorMicrosoft Research, National Science Foundation

Cite this