| Titre | Méthodes formelles pour l'étude des programmes (Paul Gochet et Pascal Gribomont) | |
|---|---|---|
| Auteur | Radu Lazar | |
 |
Revue | Réseaux (communication - technologie - société) |
| Numéro | vol. 12, no. 67, 1994 Les jeux vidéo | |
| Rubrique / Thématique | Notes de lecture |
|
| Page | 208-209 | |
| Article en ligne | http://www.persee.fr/web/revues/home/prescript/article/reso_0751-7971_1994_num_12_67_2751 |
