Resultados de la búsqueda

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

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