@book{11561,
	title = {Challenges of Verification},
	publisher = {Routledge,},
	year = {2019.},
	address = {London}
}