Search Results

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

    Category:
    Artículos
    Authors:
    Claudio A. de la Riva Álvarez , Pablo Javier Tuya González
    Date:
    01 of January of 2006
    It Is a Part of:
    Journal of Systems and Software, 79(9)