Hee Beng Kuan Tan, Ni Lar Thein
Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis
WCRE, 2002.
@inproceedings{WCRE-2002-TanT,
author = "Hee Beng Kuan Tan and Ni Lar Thein",
booktitle = "{Proceedings of the Ninth Working Conference on Reverse Engineering}",
editor = "Arie van Deursen and Elizabeth Burd",
ee = "http://computer.org/proceedings/wcre/1799/17990233abs.htm",
isbn = "0-7695-1799-4",
pages = "233--None",
publisher = "{IEEE Computer Society}",
title = "{Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis}",
year = 2002,
}