Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Notes in Computer Science, Band 8318)
von:
Kenneth McMillan
· Xavier Rival
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-54012-7
ISBN-10: 3-642-54012-0
Springer
· 2014
