Discussion:Amir Pnueli
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
L'information concernant son décès a été publiée sur la mailing list "TYPES" le 2 novembre, peu après son décès.