Preface

Deepak D’Souza*, Akash Lal, Kim Guldstrand Larsen

*Corresponding author for this work

Research output: Contribution to journalEditorialpeer-review

Conference

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

Bibliographical note

Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.

Cite this