An Application of Isabelle/HOL: HOL-OCL

by Achim D. Brucker

Keywords:
Categories:
Documents:

QR Code for talk:brucker:application:2007.Please cite this article as follows:
Achim D. Brucker. An Application of Isabelle/HOL: HOL-OCL. Part of the lecture "Computer supported Modeling and Reasoning" (WS 2006), ETH Zurich, Switzerland, 31. jan. 2007.
(slides) (handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker:application:2007,
address = {ETH Zurich, Switzerland},
author = {Achim D. Brucker},
day = {31},
event = {Part of the lecture ``Computer supported Modeling and Reasoning'' (WS 2006)},
handout = {https://www.brucker.ch/bibliography/download/2007/talk-brucker-application-2007-2x2.pdf},
isodate = {2007-01-31},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {jan},
slides = {https://www.brucker.ch/bibliography/download/2007/talk-brucker-application-2007.pdf},
title = {An Application of {Isabelle/HOL}: {HOL-OCL}},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-application-2007},
year = {2007},
}