A Shallow Embedding of OCL into Isabelle/HOL and its Application to Formal Testing

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “A shallow embedding of OCL into Isabelle/HOL and its application to formal testing.” ETH Zurich, Switzerland, Mar. 09, 2004. Author copy: https://logicalhacking.com/publications/talk-brucker-shallow-2004/

BibTeX
@Misc{ talk:brucker:shallow:2004,
  date     = {2004-03-09},
  title    = {A Shallow Embedding of {OCL} into {Isabelle/HOL} and its
              Application to Formal Testing},
  author   = {Achim D. Brucker},
  lecturer = {Achim D. Brucker},
  address  = {ETH Zurich, Switzerland},
  event    = {Meeting with the Information Security and Cryptography
              Group},
  day      = {9},
  month    = {mar},
  year     = {2004},
  language = {USenglish},
  note     = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-shallow-2004/}},
  pdf      = {https://logicalhacking.com/publications/talk-brucker-shallow-2004/talk-brucker-shallow-2004.pdf},
}