Analyzing UML/OCL Models with HOL-OCL

by Achim D. Brucker and Burkhart Wolff

Keywords:
Categories:
Documents:

QR Code for talk:brucker.ea:analyzing:2008.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) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker.ea:analyzing:2008,
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},
}