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 Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6337 0302-9743 ; . - Lecture Notes in Computer Science, 6337 .
9783642157691
10.1007/978-3-642-15769-1 doi
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.
QA76.758
005.1
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 Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6337 0302-9743 ; . - Lecture Notes in Computer Science, 6337 .
9783642157691
10.1007/978-3-642-15769-1 doi
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.
QA76.758
005.1