Skip to content

Constraint-oriented formal modelling of OO-systems.

Gnter Graw, Peter Herrmann, Heiko Krumm

VenueCDAIS
Year1999
ProceedingsDAIS

Browse the full DAIS paper archive.