- -

Listar por palabra clave "Métodos formales en Ingeniería Informática"

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

Listar por palabra clave "Métodos formales en Ingeniería Informática"

Ordenar por:Orden:Resultados:

  • thumb
    Contract-based Analysis and Dynamic Verification of C code 
    Coroban, Raul Ionut (Universitat Politècnica de València, 2018-09-11)
    [EN] In Software Engineering, software contracts allow the program behavior to be specified using formal axioms such as preconditions, postconditions and invariants. The current state of the art makes it possible to ...