Constraint-oriented formal modelling of OO-systems

• Authors:

• Günter Graw;Peter Herrmann;Heiko Krumm

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems II
• Year:
• 1999