Versie van 18 apr 2010 11:14 bewerken GrouchoBot (overleg \| bijdragen) 212.456 bewerkingen k robot Erbij: cs:Amir Pnueli ← Oudere bewerking		Versie van 23 sep 2010 06:45 bewerken ongedaan maken Simeon (overleg \| bijdragen) uitgebreid bevestigde gebruikers 35.712 bewerkingen +{{Navigatie Turing Award}} Nieuwere bewerking →
Regel 13: * [http://www.wisdom.weizmann.ac.il/~amir/ Pnueli's Weizmann homepage] }} {{Navigatie Turing Award}} {{commonscat\|Amir Pnueli}}

Amir Pnueli: verschil tussen versies