Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings - Joshi, Rajeev; Müller, Peter; Podelski, Andreas (Springer Berlin Heidelberg : Imprint: Springer, 2012)