Book

Static Analysis

Lecture Notes in Artificial Intelligence | Springer Berlin Heidelberg | Published : 2016