Este libro recopila los artículos más relevantes de la séptima conferencia sobre verificación de software, ofreciendo un panorama actualizado de teorías, herramientas y experimentos que impulsan la calidad del código.