Zhenyu Qian
发表
Zhenyu Qian,
Bernd Krieg-Brückner,
B. Krieg-Brückner,
1996,
ECOOP.
Zhenyu Qian,
1997
.
Zhenyu Qian,
Alessandro Coglio,
Allen Goldberg,
2000
.
Zhenyu Qian,
1999
.
Martin Gogolla,
Zhenyu Qian,
Bernd Krieg-Brückner,
1997
.
Zhenyu Qian,
Zhenyu Qian,
1996,
J. Log. Comput..
Zhenyu Qian,
Zhenyu Qian,
1991
.
Zhenyu Qian,
Kang Wang,
Zhenyu Qian,
1992,
JICSLP.
Zhenyu Qian,
Zhenyu Qian,
1988,
ADT.
Linfang Shen,
Zhenyu Qian,
Jianqi Shen,
2022,
IEEE Access.
Zhenyu Qian,
Zhenyu Qian,
1987,
RTA.
Zhenyu Qian,
Zhenyu Qian,
1993,
Acta Informatica.
Tobias Nipkow,
Zhenyu Qian,
T. Nipkow,
1994,
Journal of Automated Reasoning.
Zhenyu Qian,
Bernd Krieg-Brückner,
B. Krieg-Brückner,
1995,
COMPASS/ADT.
Zhenyu Qian,
T. Nipkow,
Zhenyu Qian,
1992,
CADE.
Zhenyu Qian,
Zhenyu Qian,
1990,
ALP.
Zhenyu Qian,
Alessandro Coglio,
Allen Goldberg,
2000,
OOPSLA '00.
Zhenyu Qian,
Zhenyu Qian,
1994,
J. Comput. Syst. Sci..
Zhenyu Qian,
Kang Wang,
Zhenyu Qian,
1994,
CCL.
Zhenyu Qian,
Zhenyu Qian,
1994,
POPL '94.
Zhenyu Qian,
Zhenyu Qian,
1993,
TAPSOFT.
Tobias Nipkow,
Zhenyu Qian,
T. Nipkow,
1991,
RTA.
Zhenyu Qian,
Zhenyu Qian,
egis Curien,
1996
.
Zhenyu Qian,
Zhenyu Qian,
2000,
TOPL.
Zhenyu Qian,
Alessandro Coglio,
Allen Goldberg,
2000,
Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Zhenyu Qian,
Zhenyu Qian,
1999,
Formal Syntax and Semantics of Java.