Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing. Specifying Component Invariants with OCL. In GI Jahrestagung (2). pages 600-607, 2001.
@inproceedings{HennickerBKW01, title = {Specifying Component Invariants with OCL}, author = {Rolf Hennicker and Hubert Baumeister and Alexander Knapp and Martin Wirsing}, year = {2001}, tags = {OCL}, researchr = {https://researchr.org/publication/HennickerBKW01}, cites = {0}, citedby = {0}, pages = {600-607}, booktitle = {GI Jahrestagung (2)}, }