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 × United Kingdom
Collaborated with:
G.Balakrishnan T.W.Reps N.Kidd A.Lal J.Lim D.Melski R.Gruian S.H.Yong T.Teitelbaum
Talks about:
surfer (1) execut (1) model (1) check (1) wpds (1) code (1)

Person: Chi-Hua Chen

DBLP DBLP: Chen:Chi=Hua

Contributed to:

CAV 20052005

Wrote 1 papers:

CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.

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.