Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ... Notes in Computer Science (4905), Band 4905)
von
Francesco Logozzo
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-78162-2
ISBN-10: 3-540-78162-5
Springer
· 2008
