Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science, Band 7935)
von:
Francesco Logozzo
· Manuel Fähndrich
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-38855-2
ISBN-10: 3-642-38855-8
Springer
· 2013
