# Marie-Laure Potet

> Fiche auteur du catalogue https://superlivre.fr/auteur/marie-laure-potet-cb12488892d (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (1988–1988)
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb12488892d

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1988 | [Preuves et stratégies pour la synthèse déductive de programmes](https://superlivre.fr/livre/preuves-et-strategies-pour-la-synthese-deductive-de-programmes-cb376176703) | [ANRT](https://superlivre.fr/editeur/anrt) |  |

## En tant que contributeur

- 2001 — [Spécification formelle avec B](https://superlivre.fr/livre/specification-formelle-avec-b-9560de048755) de Henri Habrias

## Éditeurs principaux

- [ANRT](https://superlivre.fr/editeur/anrt) — 1 œuvres