Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / [electronic resource] :
edited by María Alpuente, Germán Vidal.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5079 0302-9743 .
9783540691662
Computer science Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques