by Achim D. Brucker and Burkhart Wolff
Keywords:
Categories:
Documents:
Please cite this article as follows:
Achim D. Brucker and Burkhart Wolff.
Analyzing UML/OCL Models with HOL-OCL. Tutorial at MoDELS 2008, Toulouse, France, 28. sep. 2008.
(slides) (handout) (BibTeX) (
address | = | {Toulouse, France}, | |
author | = | {Achim D. Brucker and Burkhart Wolff}, | |
day | = | {28}, | |
event | = | {Tutorial at MoDELS 2008}, | |
handout | = | {https://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-analyzing-2008-2x2.pdf}, | |
isodate | = | {2008-09-28}, | |
lecturer | = | {Achim D. Brucker}, | |
month | = | {sep}, | |
slides | = | {https://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-analyzing-2008.pdf}, | |
title | = | {Analyzing {UML/OCL} Models with {HOL-OCL}}, | |
url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-analyzing-2008}, | |
year | = | {2008}, |