Amir Pnueli: verschil tussen versies

19 bytes toegevoegd ,  12 jaar geleden
k
robot Erbij: de:Amir Pnueli
(cat spec)
k (robot Erbij: de:Amir Pnueli)
[[Categorie:Winnaar Turing Award|Pnueli, Amir]]
 
[[de:Amir Pnueli]]
[[en:Amir Pnueli]]
[[es:Amir Pnueli]]
238.030

bewerkingen