by Achim D. Brucker and Burkhart Wolff
Keywords:
Categories:
Documents:
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) (
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}, |