@book{68818,
	author = {Gabbar, Hossam A.},
	title = {Modern Formal Methods and Applications /},
	publisher = {Springer,},
	year = {c2010.},
	address = {New York:},
	url = {http://10.10.170.122:8080/browse/book/27381}
}