@book{40414,
	author = {Seligman, Erik},
	title = {Formal verification:},
	publisher = {Elsevier },
	year = {c2023},
	address = {London }
}