Travelled to:1 × Argentina
1 × USA
Collaborated with:H.B.K.Tan Y.Li
Talks about:transact (2) input (2) error (2) post (2) program (1) correct (1) analysi (1) verifi (1) static (1) provis (1)
Person: Ni Lar Thein
DBLP: Thein:Ni_Lar
Contributed to:
2002
2001Wrote 2 papers:
- WCRE-2002-TanT #fault #program analysis #transaction #verification
- Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
- SEKE-2001-TanTL #design #fault #transaction
- Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.