WeberKMKJBEGBPFW99'

@inproceedings{DBLP:conf/gait/WeberKMKJBEGBPFW99,
  author    = {Herbert Weber and
               Marcus Klar and
               Stefan Mann and
               Ralf-Detlef Kutsche and
               Stefan J{\"a}hnichen and
               Robert B{\"u}ssow and
               Hartmut Ehrig and
               Robert Geisler and
               Gabriel Baum and
               Claudia Pons and
               Miguel Felder and
               Sergio Waldoke},
  title     = {Integrating Object-Oriented Modelling Techniques with Formal
               Specification Techniques},
  booktitle = {German-Argentinian Workshop on Information Technology},
  year      = {1999},
  pages     = {23-30},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}