María Alpuente Germán Vidal Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings 5079 2008 978-3-540-69163-1 SAS Lecture Notes in Computer Science Springer db/conf/sas/sas2008.html