Amir Pnueli: verschil tussen versies

6 bytes toegevoegd ,  15 jaar geleden
cat spec
(cat verbeterd)
(cat spec)
[[Categorie:Informaticus|Pnueli, Amir]]
[[Categorie:Winnaar Turing Award|Pnueli, Amir]]
[[Categorie:Israëlisch persoonwetenschapper|Pnueli, Amir]]
 
[[en:Amir Pnueli]]
25.066

bewerkingen