Automatic generation of assumptions for modular verification of software specifications
ISSN: 0164-1212
Any de publicació: 2006
Volum: 79
Número: 9
Pàgines: 1324-1340
Tipus: Article
ISSN: 0164-1212
Any de publicació: 2006
Volum: 79
Número: 9
Pàgines: 1324-1340
Tipus: Article