BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Thein:Ni_Lar

Contributed to:

WCRE 20022002
SEKE 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.