Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22--23, 2017. Revised selected papers
scientific article; zbMATH DE number 6819833