@book{58101,
	author = {Frank de Boer (editor)},
	title = {Software engineering and formal methods},
	publisher = {Springer Nature },
	year = {2020},
	address = {Switzerland},
	note = {Includes bibliographical references and index.}
}