# Teknea

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

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

## 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
- 1993 — [La méthode GRAI](https://superlivre.fr/livre/la-methode-grai-cb38262728v) de Michel Roboam
- 1991 — [Stablex](https://superlivre.fr/livre/stablex-cb382105263) de Charles Perrault, Thierry Beltran, André Camlong
- 1991 — [Stablex](https://superlivre.fr/livre/stablex-cb382105639) de Charles Perrault, André Camlong