Constraint-oriented formal modelling of OO-systems

published

Abstract

No abstract available.

Cite this paper

@article{graw1999,
  title = {Constraint-oriented formal modelling of OO-systems},
  author = {Günter Graw and Peter Herrmann and Heiko Krumm},
  journal = {DAIS},
  year = {1999},
  month = {Jan},
}