Automatic generation of assumptions for modular verification of software specifications
ISSN: 0164-1212
Year of publication: 2006
Volume: 79
Issue: 9
Pages: 1324-1340
Type: Article
ISSN: 0164-1212
Year of publication: 2006
Volume: 79
Issue: 9
Pages: 1324-1340
Type: Article