Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, ... Notes in Computer Science (2575), Band 2575)

International

von: Agostino Cortesi · Supratik Mukhopadhyay · Paul D. Attie · Lenore D. Zuck

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-00348-9

ISBN-10: 3-540-00348-7

Springer · 2008