|
 
|
[MAM01] Une approche formelle par raffinement pour le développement d'applications bases de données sûres
Conférence Nationale avec comité de lecture : 19ème congrés INFORSID, Genève, Suisse, January 2001,
motcle:
Commentaires:
article sélectionné pour un numéro spécial de la revue ISI-TSI
BibTeX
| @inproceedings { | |||
| MAM01, | |||
| title | = | "{Une approche formelle par raffinement pour le développement d'applications bases de données sûres}", | |
| author | = | " A. Mammar ", | |
| booktitle | = | "{19ème congrés INFORSID, Genève, Suisse}", | |
| year | = | 2001, | |
| month | = | "January", | |
| note | = | "{article sélectionné pour un numéro spécial de la revue ISI-TSI}", | |
| } | |||
