Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013 : Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers : 5th international conference on verified software: theories, tool and experiments (VSTTE) : May 2013, Menlo Park, CA.
Abstracts and revised selected papers."Starting in 2008, the conference became a biennial event, (...) and VSTTE 2012 was held in Philadelphia, which ...