Alpuente, María.
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5079 0302-9743 ; . - Lecture Notes in Computer Science, 5079 .
9783540691662
10.1007/978-3-540-69166-2 doi
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.7-76.73 QA76.76.C65
005.13
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5079 0302-9743 ; . - Lecture Notes in Computer Science, 5079 .
9783540691662
10.1007/978-3-540-69166-2 doi
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.7-76.73 QA76.76.C65
005.13