CIC:Oriat95

Catherine Oriat. Detecting isomorphisms of modular specifications with diagrams. In Proc. of AMAST-95, 4th Int. Conf. on Algebraic Methodology and Software technology, Montréal, LNCS, Volume 936, Pages 184-198, 1995.

Contact

Catherine Oriat

Référence BibTex

@InProceedings{CIC:Oriat95,
   Author = {Oriat, Catherine},
   Title = {{Detecting isomorphisms of modular specifications with diagrams}},
   BookTitle = {Proc. of AMAST-95, 4th Int. Conf. on Algebraic Methodology and Software technology, Montréal},
   Volume = {936},
   Pages = {184--198},
   Series = {LNCS},
   Year = {1995}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)