Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings ... Notes in Computer Science (3385), Band 3385)
von
Radhia Cousot
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-24297-0
ISBN-10: 3-540-24297-X
Springer
· 2008