Constraint-oriented formal modelling of OO-systems

Günter Graw, Peter Herrmann, Heiko Krumm. Constraint-oriented formal modelling of OO-systems. In Lea Kutvonen, Hartmut König, Martti Tienari, editors, Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland. Volume 143 of IFIP Conference Proceedings, pages 345, Kluwer, 1999.

Abstract

Abstract is missing.