@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}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
