id: 05434176
dt: j
an: 05434176
au: La Riva, Claudio De; Tuya, Javier
ti: Automatic generation of assumptions for modular verification of software
    specifications.
so: J. Syst. Softw. 79, No. 9, 1324-1340 (2006).
py: 2006
pu: Elsevier, New York, NY
la: EN
cc: 
ut: 
ci: 
li: doi:10.1016/j.jss.2005.11.570