Verified software: theories, tools, experiments. 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17--19, 2013. Revised selected papers
scientific article; zbMATH DE number 6248067