Resultados de la búsqueda

  • Automatic generation of assumptions for modular verification of software specifications [2006]

    Categoría:
    Artículos
    Autores:
    Claudio A. de la Riva Álvarez , Pablo Javier Tuya González
    Fecha:
    01 de Enero de 2006
    Es parte de:
    Journal of Systems and Software, 79(9)