Verification, Model Checking, and Abstract Interpretation
Subtitle: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 342
ISBN-13: 9783662169674
Notes: Source title: Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings