| Année | Titre | Éditeur | Pages |
|---|---|---|---|
| 1988 | Preuves et stratégies pour la synthèse déductive de programmes | ANRT | — |
| Année | Titre | Auteur(s) principal | Éditeur |
|---|---|---|---|
| 2001 | Spécification formelle avec B | Henri Habrias | Hermès science publ. |
Auteurs ayant un livre paru la même année chez un éditeur de Marie-Laure Potet.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Mathieu Kinouani | ANRT (1988) | 1 |
| Georges Misri | ANRT (1988) | 1 |
| Abdelkrim Haouam | ANRT (1988) | 1 |
| Pierre Bovet |
| 1 |
| Marthe Broutelle | ANRT (1988) | 1 |
| Marc Scialom | ANRT (1988) | 1 |
| Edmund Husserl | ANRT (1988) | 1 |
| Michel Anselme | ANRT (1988) | 1 |