Conoce las contribuciones más recientes de la décima edición internacional de VSTTE 2018, donde investigadores presentan teorías de verificación, herramientas innovadoras y experimentos que demuestran su eficacia en el desarrollo seguro de software crítico.