Raya Leviathan
发表
Amir Pnueli,
I. Gordin,
Raya Leviathan,
2004,
ATVA.
Amir Pnueli,
Raya Leviathan,
2002,
CASES '02.
Amir Pnueli,
Lenore D. Zuck,
Raya Leviathan,
2001
.