Buscar
Mostrando ítems 1-1 de 1
Nivel de desarrollo de la verificación formal
(2016)
Los métodos formales se utilizan mayoritariamente para especificar y validar productos de software crítico, y poco a poco comienzan a penetrar la Ingeniería del Software tradicional para el desarrollo de aplicaciones de ...