HOL-OCL Tool Demonstration

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, HOL-OCL tool demonstration,” presented at the OCL workshop at the UML/MoDELS conferences 2008, Toulouse, France, Sep. 30, 2008. Author copy: https://logicalhacking.com/publications/talk-brucker-hol-ocl-2008/

BibTeX
@Unpublished{ talk:brucker:hol-ocl:2008,
  date       = {2008-09-30},
  title      = {{HOL-OCL} Tool Demonstration},
  author     = {Achim D. Brucker},
  eventtitle = {OCL Workshop at the UML/MoDELS Conferences 2008},
  venue      = {Toulouse, France},
  note       = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-hol-ocl-2008/}},
  pdf        = {https://logicalhacking.com/publications/talk-brucker-hol-ocl-2008/talk-brucker-hol-ocl-2008.pdf},
}