# Observatoire français des techniques avancées. Groupe Méthodes formelles en logiciel

> Fiche auteur du catalogue https://superlivre.fr/auteur/observatoire-francais-des-techniques-avancees-groupe-methodes-formelles-en-logic-cb13179095w (données du dépôt légal BnF, enrichies Wikidata).

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

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1997 | [Application des techniques formelles au logiciel](https://superlivre.fr/livre/application-des-techniques-formelles-au-logiciel-cb36184173g) | [OFTA](https://superlivre.fr/editeur/ofta) | 285 |

## Éditeurs principaux

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