@book{104458,
	author = {Seligman, Erik, and Schubert, Tom,},
	title = {Formal verification :},
	publisher = {Morgan Kaufmann,},
	year = {2023},
	address = {Cambridge, MA :},
	edition = {Second edition},
	url = {https://www-sciencedirect-com.libraryumpsa.idm.oclc.org/book/monograph/9780323956123/formal-verification}
}