Browsing by Author "Moreno, Silvana"

Sort by: Order: Results:

  • Ferreira Lozano, Nicolás (Universidad ORT Uruguay, 2018)
    En los últimos diez años han aparecido herramientas para la verificación formal de programas que están entre los verificadores completamente automáticos y los verificadores que aceptan entrada del usuario en todos los pasos ...