MPG.eBooks - Author Search Results

Cover Image

1

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Logozzo, Francesco...”

Cover Image

2

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Logozzo, Francesco...”