Automatic generation of assumptions for modular verification of software specifications
ISSN: 0164-1212
Ano de publicación: 2006
Volume: 79
Número: 9
Páxinas: 1324-1340
Tipo: Artigo
ISSN: 0164-1212
Ano de publicación: 2006
Volume: 79
Número: 9
Páxinas: 1324-1340
Tipo: Artigo