Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 2001 Proceedings: 8th International Symposium, SAS 2001, Paris, France, ... Notes in Computer Science (2126), Band 2126)
von
Patrick Cousot
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-42314-0
ISBN-10: 3-540-42314-1
Springer
· 2009
