id: 50312345
dt: j
an: 50312345
au: Ding, Sun; Tan, Hee Beng Kuan
ti: Design verification for database applications through analysing their
    support to data lifecycle
so: IJDMMM 3, No. 4, 406-417 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1504/IJDMMM.2011.042937