External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler. Formalizing UML Models and OCL Constraints in PVS. Electronic Notes in Theoretical Computer Science, 115:39-47, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on