@book{206468,
	author = {Boulanger, Jean-Louis.},
	title = {Static analysis of software : the abstract interpretation /},
	publisher = {ISTE/Wiley,},
	year = {2012.},
	series = {ISTE},
	address = {London, UK ;},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781118602867}
}