@book{47290, author = {Logozzo, Francesco. and SpringerLink (Online service)}, title = {Static Analysis}, publisher = {Springer Berlin Heidelberg :}, year = {2013.}, series = {Lecture Notes in Computer Science,}, address = {Berlin, Heidelberg :}, url = {http://dx.doi.org/10.1007/978-3-642-38856-9} }