|
 
|
[ML04] Génération de code à partir d'une spécification B: application aux bases de données
Conférence Nationale avec comité de lecture : AFADL'04, January 2004,
motcle:
BibTeX
| @inproceedings { | |||
| ML04, | |||
| title | = | "{Génération de code à partir d'une spécification B: application aux bases de données}", | |
| author | = | " A. Mammar and R. Laleau ", | |
| booktitle | = | "{AFADL'04}", | |
| year | = | 2004, | |
| month | = | "January", | |
| } | |||
