Yi, Kwangkeun.
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings / [electronic resource] :
edited by Kwangkeun Yi.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4134 0302-9743 .
9783540377580
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
QA76.6 / Y5 2006