Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA.
(Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI...