@book{55175,
	author = {Seligman, Erik },
	title = {Formal verification },
	publisher = {Elsevier/MK},
	year = {2023},
	address = {Hampshire Street},
	note = {Includes index.}
}