List of University of Pennsylvania people
article-link
What links here
Amir Pnueli
List of Stanford University faculty and staff
article-link
Courant Institute School of Mathematics, Computing, and Data Science
article-link
Linear temporal logic
article-link
Zohar Manna
article-link
Weizmann Institute of Science
article-link
List of Israelis
article-link
1996 in science
article-link
Modal logic
article-link
Temporal logic
article-link
Model checking
article-link
McCarthy 91 function
article-link
Culture of Israel
article-link
1941
article-link
Stanford University
article-link
List of computer scientists
article-link