Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings / [electronic resource] :
edited by Radhia Cousot, Matthieu Martel.
- 1st ed. 2010.
- XI, 473 p. 131 illus. online resource.
- Programming and Software Engineering, 6337 2945-9168 ; .
- Programming and Software Engineering, 6337 .
9783642157691
10.1007/978-3-642-15769-1 doi
Software engineering.
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Software Engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
QA76.758
005.1
9783642157691
10.1007/978-3-642-15769-1 doi
Software engineering.
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Software Engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
QA76.758
005.1