Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture Notes in Computer Science, Band 5944)
von:
Gilles Barthe
·
Manuel Hermenegildo
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-11318-5
ISBN-10: 3-642-11318-4
Springer
· 2010
