Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science (2937), Band 2937)
von:
Bernhard Steffen
·
Giorgio Levi
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-20803-7
ISBN-10: 3-540-20803-8
Springer
· 2009
