@book{58940,
	author = {Shang-Wei Lin (editor)},
	title = {Formal methods for software engineering },
	publisher = {Springer Nature},
	year = {2021},
	address = {Switzerland},
	note = {Includes bibliographical references and author index. }
}