- -

Listar por palabra clave "Verficación de programas"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Verficación de programas"

Ordenar por:Orden:Resultados:

  • thumb
    Logical models for automated semantics-directed program analysis 
    Reinoso Mendoza, Efren Patricio (Universitat Politècnica de València, 2016-12-07)
    [EN] In Computer Science and Software Engineering, even at this time, when huge hardware and software resources are available, the problem of checking correctness of an specific piece of software is a very complicated one. ...