|
 
|
[LM00b] A Generic Process to Refine a B Specification into a Relational Database Implementation
Conférence Internationale avec comité de lecture : First Int. Conf. of B and Z users (ZB2000), Springer-Verlag, LNCS n° 1878, York, UK, January 2000,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @inproceedings { | |||
| LM00b, | |||
| title | = | "{A Generic Process to Refine a B Specification into a Relational Database Implementation}", | |
| author | = | " R. Laleau and A. Mammar ", | |
| booktitle | = | "{First Int. Conf. of B and Z users (ZB2000), Springer-Verlag, LNCS n° 1878, York, UK}", | |
| year | = | 2000, | |
| month | = | "January", | |
| note | = | "{note}", | |
| } | |||
