Static Analysis
Andreas Podelski
Static Analysis - 1st ed. 2018 - Springer International Publishing 2018 - 11002 - Lecture Notes in Computer Science .
978-3-319-99725-4
1611-3349
Static Analysis - 1st ed. 2018 - Springer International Publishing 2018 - 11002 - Lecture Notes in Computer Science .
978-3-319-99725-4
1611-3349