Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework

Claudia Pons, Gabriel Baum, Miguel Felder. Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. In FMLDO. pages 1-18, 1998.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.