@book{353840,
	title = {Automatic verification technology of software patches for user virtual environments on IaaS cloud},
	year = {2016}
}