H. Lachover
发表
Edward A. Lee,
S. X. Gu,
R. E. Miller,
1995
.
A. Pnueli,
R. Sherman,
D. Harel,
1988,
Proceedings. [1989] 11th International Conference on Software Engineering.
A. Pnueli,
R. Sherman,
D. Harel,
1988,
[1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.