Static Analysis
María Alpuente, Germán Vidal
Static Analysis - New York Springer US 2007 - Lecture Notes in Computer Science .
978-3-540-69166-2
Computer Science
Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques
Static Analysis - New York Springer US 2007 - Lecture Notes in Computer Science .
978-3-540-69166-2
Computer Science
Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques
