CIC:DFCL00

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, December 2000.

Contact

Yves Ledru

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)