@book{4945,
	author = {Boulanger, Jean-Louis },
	title = {Static Analysis of Software : },
	publisher = {ISTE,},
	year = {C 2012},
	address = {London (UK) :},
	url = {https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118602867?download=true}
}