Versie van 25 jul 2006 17:38 bewerken Arafi (overleg \| bijdragen) uitgebreid bevestigde gebruikers 18.839 bewerkingen k -cat ← Oudere bewerking		Versie van 4 aug 2006 00:36 bewerken ongedaan maken Emiel (overleg \| bijdragen) 17.081 bewerkingen Geen bewerkingssamenvatting Nieuwere bewerking →
Regel 15: [[Categorie:Israëlisch informaticus\|Pnueli, Amir]] [[Categorie:Israëlisch wiskundige\|Pnueli, Amir]] [[Categorie:informaticus\|Pnueli, Amir]] [[Categorie:wiskundige\|Pnueli, Amir]] [[Categorie:Winnaar Turing Award\|Pnueli, Amir]]

Amir Pnueli: verschil tussen versies