Verification, Model Checking, and Abstract Interpretation - 9783642540127
ISBN-13: 9783642540127, 978-3642540127. This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013.