
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/
@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},
}