Static Analysis
Xavier Rival
Static Analysis - Springer 2016 - Lecture Notes in Computer Science .
9783662534137
Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages
Static Analysis - Springer 2016 - Lecture Notes in Computer Science .
9783662534137
Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages