# Institut universitaire de technologie. Nantes

> Fiche auteur du catalogue https://superlivre.fr/auteur/institut-universitaire-de-technologie-nantes-cb13888821q (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 0
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb13888821q

## En tant que contributeur

- 1994 — [Introduction à la méthode de spécification formelle B](https://superlivre.fr/livre/introduction-a-la-methode-de-specification-formelle-b-cb382855889) de Jean-Raymond Abrial