Automatic generation of assumptions for modular verification of software specifications

  1. de la Riva, C.
  2. Tuya, J.
Aldizkaria:
Journal of Systems and Software

ISSN: 0164-1212

Argitalpen urtea: 2006

Alea: 79

Zenbakia: 9

Orrialdeak: 1324-1340

Mota: Artikulua

DOI: 10.1016/J.JSS.2005.11.570 GOOGLE SCHOLAR
Datuen iturria: Scopus