CIC:Bert95c

Didier Bert, Catherine Oriat. A model inference system for generic specification with application to code sharing. In Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering, LNCS, Volume 915, Pages 741-755, 1995.

Contact

Didier Bert
Catherine Oriat

BibTex Reference

@InProceedings{CIC:Bert95c,
   Author = {Bert, Didier and Oriat, Catherine},
   Title = {{A model inference system for generic specification with application to code sharing}},
   BookTitle = {Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering},
   Volume = {915},
   Pages = {741--755},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)