Verification of UML/OCL Specifications with HOL-OCL

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “Verification of UML/OCL specifications with HOL-OCL.” Innsbruck, Austria, Jan. 08, 2007. Author copy: https://logicalhacking.com/publications/talk-brucker-verification-2007/

BibTeX
@Misc{ talk:brucker:verification:2007,
  date     = {2007-01-08},
  author   = {Achim D. Brucker},
  title    = {Verification of {UML/OCL} Specifications with {HOL-OCL}},
  lecturer = {Achim D. Brucker},
  address  = {Innsbruck, Austria},
  month    = {jan},
  event    = {Invited guest lecture, part of the lecture ``Formal
              Specification and Verification'' (WS 2006)},
  day      = {8},
  language = {USenglish},
  year     = {2007},
  note     = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-verification-2007/}},
  pdf      = {https://logicalhacking.com/publications/talk-brucker-verification-2007/talk-brucker-verification-2007.pdf},
}