Favre01'

BibTeX

@inproceedings{DBLP:conf/uml/Favre01,
  author    = {Liliana Favre},
  title     = {A Formal Mapping between UML Static Models and Algebraic
               Specifications},
  booktitle = {pUML},
  year      = {2001},
  pages     = {113-127},
  crossref  = {DBLP:conf/uml/2001p},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/uml/2001p,
  editor    = {Andy Evans and
               Robert B. France and
               Ana M. D. Moreira and
               Bernhard Rumpe},
  title     = {Practical UML-Based Rigorous Development Methods - Countering
               or Integrating the eXtremists, Workshop of the pUML-Group
               held together with the UML2001, October 1st,
               2001 in Toronto, Canada},
  booktitle = {pUML},
  publisher = {GI},
  series    = {LNI},
  volume    = {7},
  year      = {2001},
  isbn      = {3-88579-335-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}