Verified software. Theories, tools, and experiments - 10th international conference, VSTTE 2018, oxford, UK, july 18-19, 2018, revised selected papers

@proceedings{DBLP:conf/vstte/2018,
	editor = {['Ruzica Piskac', 'Philipp Rümmer']},
	title = {Verified Software. Theories, Tools, and Experiments - 10th International
               Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected
               Papers},
	series = {Lecture Notes in Computer Science},
	volume = {11294},
	publisher = {Springer},
	year = {2018},
	url = {https://doi.org/10.1007/978-3-030-03592-1},
	doi = {10.1007/978-3-030-03592-1},
	isbn = {978-3-030-03591-4},
	timestamp = {Tue, 14 May 2019 10:00:49 +0200},
	biburl = {https://dblp.org/rec/conf/vstte/2018.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}