Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers: 11294

Descubre los últimos avances en verificación formal del software, con estudios detallados sobre teorías, herramientas y experimentos presentados en la décima edición internacional VSTTE 2018; el libro reúne artículos revisados que ilustran aplicaciones prácticas y metodologías innovadoras para garantizar la fiabilidad de sistemas críticos.

Compartir: