An Application of Isabelle/HOL: HOL-OCL

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “An application of Isabelle/HOL: HOL-OCL.” ETH Zurich, Switzerland, Jan. 31, 2007. Author copy: http://logicalhacking.com/publications/talk-brucker-application-2007/

BibTeX
@Misc{ talk:brucker:application:2007,
  date     = {2007-01-31},
  author   = {Achim D. Brucker},
  title    = {An Application of {Isabelle/HOL}: {HOL-OCL}},
  lecturer = {Achim D. Brucker},
  address  = {ETH Zurich, Switzerland},
  month    = {jan},
  event    = {Part of the lecture ``Computer supported Modeling and
              Reasoning'' (WS 2006)},
  day      = {31},
  language = {USenglish},
  year     = {2007},
  note     = {Author copy: \url{http://logicalhacking.com/publications/talk-brucker-application-2007/}},
}