Automatic generation of assumptions for modular verification of software specifications
ISSN: 0164-1212
Année de publication: 2006
Volumen: 79
Número: 9
Pages: 1324-1340
Type: Article
ISSN: 0164-1212
Année de publication: 2006
Volumen: 79
Número: 9
Pages: 1324-1340
Type: Article