received the Ph.D. degree in applied mathematics from the Weizmann (1967)

by Amir Pnueli
Venue:Institute of Science, Rehovot. Israel, in