DBLP Record 'journals/informaticaSI/MorilloDV01'

BibTeX

@article{DBLP:journals/informaticaSI/MorilloDV01,
  author    = {Francisco Jos{\'e} Gal{\'a}n Morillo and
               V. Diaz and
               Jos{\'e} Miguel Ca{\~n}ete Valde{\'o}n},
  title     = {Towards a rigorous and effective functional contract for
               components},
  journal   = {Informatica (Slovenia)},
  volume    = {25},
  number    = {4},
  year      = {2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}