# Boutheïna Chetali

> Fiche auteur du catalogue https://superlivre.fr/auteur/boutheina-chetali-cb130892797 (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (1996–1996)
- **Pagination médiane** : 252 pages
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb130892797

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1996 | [Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique](https://superlivre.fr/livre/verification-formelle-des-systemes-paralleles-decrits-en-unity-a-laide-dun-outil-cb35855535q) | [INRIA](https://superlivre.fr/editeur/inria) | 252 |

## Éditeurs principaux

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