Hee Beng Kuan Tan, Ni Lar Thein. Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis. In Arie van Deursen, Elizabeth Burd, editors, 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA. pages 233, IEEE Computer Society, 2002. [doi]
@inproceedings{TanT02,
title = {Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis},
author = {Hee Beng Kuan Tan and Ni Lar Thein},
year = {2002},
url = {http://computer.org/proceedings/wcre/1799/17990233abs.htm},
tags = {program analysis, program verification, analysis, static analysis},
researchr = {https://researchr.org/publication/TanT02},
cites = {0},
citedby = {0},
pages = {233},
booktitle = {9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA},
editor = {Arie van Deursen and Elizabeth Burd},
publisher = {IEEE Computer Society},
isbn = {0-7695-1799-4},
}