| Année | Titre | Éditeur | Pages |
|---|---|---|---|
| 1983 | Système d'aide à la preuve de compilateurs | Institut national de recherche en informatique et en automatique | 340 |
Auteurs ayant un livre paru la même année chez un éditeur de Éric Madelaine.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Bernado Cockburn | Institut national de recherche en informatique et en automatique (1983) | 1 |
| Eve-Rose Lebon | Institut national de recherche en informatique et en automatique (1983) | 1 |
| Khalid Kabbaj | Institut national de recherche en informatique et en automatique (1983) | 1 |
| Comité départemental de spéléologie des Alpes-Maritimes |
| Institut national de recherche en informatique et en automatique (1983) |
| 1 |
| Wing Kin Luk | Institut national de recherche en informatique et en automatique (1983) | 1 |
| Thierry Despeyroux | Institut national de recherche en informatique et en automatique (1983) | 1 |
| François Fages | Institut national de recherche en informatique et en automatique (1983) | 1 |
| André Gagalowicz | Institut national de recherche en informatique et en automatique (1983) | 1 |