S. Dupuy, J-C. Freire, M.Chabre-Peccoud, Y. Ledru. Formal and Informal Specifications: a proposal for a coupling. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, France, Décembre 2000.
@InProceedings{CIC:DFCL00,
Author = {Dupuy, S. and Freire, J-C. and M.Chabre-Peccoud, and Ledru, Y.},
Title = {Formal and {I}nformal {S}pecifications: a proposal for a coupling},
BookTitle = {13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000},
Address = {Paris, France},
Month = {December},
Year = {2000}
}
Charger la référence EndNote (.ref)