A. Pnueli
发表
Niklaus Wirth,
W. Brauer,
C. Moler,
2000,
Lecture Notes in Computer Science.
R. Gerth,
A. Pnueli,
1989,
IWSSD '89.
C. Moler,
A. Pnueli,
Luckham,
1989,
Lecture Notes in Computer Science.
Juris Hartmanis,
Niklaus Wirth,
G. Goos,
1983,
Lecture Notes in Computer Science.
A. Pnueli,
R. Sherman,
D. Harel,
1988,
Proceedings. [1989] 11th International Conference on Software Engineering.
A. Pnueli,
Chih-Sung Tang,
H. Lin,
1996
.
Juris Hartmanis,
G. Goos,
W. Brauer,
1983
.
A. Pnueli,
R. Sherman,
D. Harel,
1988,
[1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
A. Pnueli,
O. Maler,
A. Pnueli,
2022
.
A. Pnueli,
M. Siegel,
O. Shtrichman,
1998
.