Static Analysis
Sandrine Blazy, Thomas Jensen
Static Analysis - Springer 2015 - Lecture Notes in Computer Science .
9783662482889
Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages
Static Analysis - Springer 2015 - Lecture Notes in Computer Science .
9783662482889
Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages