HOL-OCL: Embedding OCL into Isabelle/HOL

by Achim D. Brucker and Burkhart Wolff

Keywords:
Categories:
Documents:

QR Code for talk:brucker.ea:hol-ocl:2003.Please cite this article as follows:
Achim D. Brucker and Burkhart Wolff. HOL-OCL: Embedding OCL into Isabelle/HOL. 1. OCL-Treffen, Karlsruhe, Germany, 17. jan. 2003.
(slides) (handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker.ea:hol-ocl:2003,
address = {Karlsruhe, Germany},
author = {Achim D. Brucker and Burkhart Wolff},
day = {17},
event = {1. OCL-Treffen},
handout = {https://www.brucker.ch/bibliography/download/2003/talk-brucker.ea-hol-ocl-2003-2x2.pdf},
isodate = {2003-01-17},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {jan},
slides = {https://www.brucker.ch/bibliography/download/2003/talk-brucker.ea-hol-ocl-2003.pdf},
title = {{HOL-OCL}: Embedding {OCL} into Isabelle/HOL},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-hol-ocl-2003},
year = {2003},
}