Pardo Pont, Daniel(Universitat Politècnica de València, 2015-03-25)
[ES] El análisis automático de software permite verificar que un programa cumpla una
serie de propiedades deseables sin intervención humana, aportando agilidad al proceso
de ingeniería y reduciendo los riesgos del software ...