HOL-OCL: Embedding OCL into Isabelle/HOL

By Achim D. Brucker and Burkhart Wolff.

Please cite this work as follows:
A. D. Brucker and B. Wolff, “HOL-OCL: Embedding OCL into Isabelle/HOL.” Karlsruhe, Germany, Jan. 17, 2003. Author copy: https://logicalhacking.com/publications/talk-brucker.ea-hol-ocl-2003/

BibTeX
@Misc{ talk:brucker.ea:hol-ocl:2003,
  date     = {2003-01-17},
  year     = {2003},
  month    = {jan},
  day      = {17},
  event    = {1. OCL-Treffen},
  title    = {{HOL-OCL}: Embedding {OCL} into {Isabelle/HOL}},
  author   = {Achim D. Brucker and Burkhart Wolff},
  lecturer = {Achim D. Brucker},
  address  = {Karlsruhe, Germany},
  language = {USenglish},
  note     = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker.ea-hol-ocl-2003/}},
  pdf      = {https://logicalhacking.com/publications/talk-brucker.ea-hol-ocl-2003/talk-brucker.ea-hol-ocl-2003.pdf},
}