Verified software: theories, tools and experiments. 6th international conference, VSTTE 2014, Vienna, Austria, July 17--18, 2014. Revised selected papers
scientific article; zbMATH DE number 6474429