@book{60152,
	author = {Andre Pllatzer (editor)},
	title = {Formal methods},
	publisher = {Springer Nature },
	year = {2025},
	address = {Switzerland},
	note = {Includes bibliographical references and index.}
}