A. Cheng
发表
A. Cheng,
S. Christensen,
K. Mortensen,
1997
.
Mogens Nielsen,
Allan Cheng,
M. Nielsen,
1995,
FSTTCS.
Mogens Nielsen,
Allan Cheng,
M. Nielsen,
1995
.
M. Nielsen,
A. Cheng,
1995
.
Mogens Nielsen,
Allan Cheng,
M. Nielsen,
1996,
Theor. Comput. Sci..
Jens Palsberg,
Javier Esparza,
Allan Cheng,
1993,
Theor. Comput. Sci..
Bard Bloom,
Ashvin Dsouza,
Allan Cheng,
1997,
IEEE Trans. Software Eng..
B. Bloom,
A. Cheng,
A. Dzouza,
1996,
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Allan Cheng,
A. Cheng,
1995,
Theor. Comput. Sci..
Allan Cheng,
A. Cheng,
1994
.