Amir Pnueli: verschil tussen versies

Naar navigatie springen Naar zoeken springen
28 bytes toegevoegd ,  10 jaar geleden
+{{Navigatie Turing Award}}
k (robot Erbij: cs:Amir Pnueli)
(+{{Navigatie Turing Award}})
* [http://www.wisdom.weizmann.ac.il/~amir/ Pnueli's Weizmann homepage]
}}
 
{{Navigatie Turing Award}}
 
{{commonscat|Amir Pnueli}}
35.614

bewerkingen

Navigatiemenu