Amir Pnueli: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k lichte wikificatie |
cat verbeterd |
||
Regel 16:
[[Categorie:Informaticus|Pnueli, Amir]]
[[Categorie:Winnaar Turing Award|Pnueli, Amir]]
[[Categorie:
[[en:Amir Pnueli]]
|