@book{247124,
	author = {Seligman, Erik. and Schubert, Tom.},
	title = {Formal verification : an essential toolkit for modern VLSI design / },
	publisher = {Elsevier Science,},
	year = {2015.},
	address = {Amsterdam :},
	note = {Includes index.},
	url = {http://www.sciencedirect.com/science/book/9780128007273}
}