Static Analysis
Cousot, Radhia.
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / [electronic resource] : edited by Radhia Cousot, Matthieu Martel. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6337 0302-9743 ; .
9783642157691
Computer science
Software engineering
Logic design
Computer simulation
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Simulation and Modeling
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / [electronic resource] : edited by Radhia Cousot, Matthieu Martel. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6337 0302-9743 ; .
9783642157691
Computer science
Software engineering
Logic design
Computer simulation
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Simulation and Modeling