Verification, Model Checking, and Abstract Interpretation
Subtitle: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 468
ISBN-13: 9783662460818