|
 
|
[ML03] Design of an Automatic Prover Dedicated to the Refinement of Database Applications
Conférence Internationale avec comité de lecture : FM'2003, Springer-Verlag, LNCS n° 2805, pp 834-854, Pise,Italy, January 2003,
motcle:
Résumé:
Commentaires:
BibTeX
| @inproceedings { | |||
| ML03, | |||
| title | = | "{Design of an Automatic Prover Dedicated to the Refinement of Database Applications}", | |
| author | = | " A. Mammar and R. Laleau ", | |
| booktitle | = | "{FM'2003, Springer-Verlag, LNCS n° 2805, pp 834-854, Pise,Italy}", | |
| year | = | 2003, | |
| month | = | "January", | |
| note | = | "{ }", | |
| } | |||
