Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28--29, 2012. Proceedings
scientific article; zbMATH DE number 6011475