Rechercher

[LM01a] Un exemple de génération d'une implémentation relationnelle à partir d'une spécification B

Rapport Scientifique : Date de dépot: 2001/01/01, (Tech. Rep.: CEDRIC-01-368)

Auteurs: R. Laleau , A. Mammar

motcle:

BibTeX

@techreport {
LM01a,
title="{Un exemple de génération d'une implémentation relationnelle à partir d'une spécification B}",
author="R. Laleau and A. Mammar",
number="{CEDRIC-01-368}",
institution="{CEDRIC laboratory, CNAM-Paris, France}",
date={01-01-2001},
}