Automatic generation of assumptions for modular verification of software specifications
ISSN: 0164-1212
Año de publicación: 2006
Volumen: 79
Número: 9
Páginas: 1324-1340
Tipo: Artículo
ISSN: 0164-1212
Año de publicación: 2006
Volumen: 79
Número: 9
Páginas: 1324-1340
Tipo: Artículo