@book{299959,
	author = {Boulanger, Jean-Louis. and ProQuest (Firm)},
	title = {Formal method},
	publisher = {ISTE ;},
	year = {2012.},
	series = {Industrial implementation of formal methods series},
	address = {London :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1143602}
}