Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
scientific article; zbMATH DE number 6649707