Declarative Reasoning about the Structure of Object-Oriented Systems

Roel Wuyts. Declarative Reasoning about the Structure of Object-Oriented Systems. In TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA. pages 112-124, IEEE Computer Society, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.