Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis.

Hee Beng Kuan Tan Ni Lar Thein Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis. 233- 2002 conf/wcre/2002 WCRE http://computer.org/proceedings/wcre/1799/17990233abs.htm db/conf/wcre/wcre2002.html#TanT02