Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised ... Notes in Computer Science (2294), Band 2294)
von
Agostino Cortesi
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-43631-7
ISBN-10: 3-540-43631-6
Springer
· 2008
