Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, ... Notes in Computer Science, Band 7148)
von:
Viktor Kuncak ·
Andrey Rybalchenko
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-27939-3
ISBN-10: 3-642-27939-2
Springer
· 2012