R. A. Kemmerer
发表
R. A. Kemmerer,
1985,
SOEN.
R. A. Kemmerer,
L. K. Dillon,
L. J. Harrison,
1988,
[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.
G. H. Chisholm,
R. A. Kemmerer,
1994
.
An interleaving symbolic execution approach for the formal verification of Ada programs with tasking
R. A. Kemmerer,
L. J. Harrison,
1988,
[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments.
R. A. Kemmerer,
Z. Dang,
2000
.
Michel Leonard,
A. Berni,
D. Merani,
2004
.
G. H. Chisholm,
J. McHugh,
R. A. Kemmerer,
1994
.