Verification of UML/OCL Specifications with HOL-OCL

Achim D. Brucker

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker:verification:2007.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker. Verification of UML/OCL Specifications with HOL-OCL. Invited guest lecture, part of the lecture "Formal Specification and Verification" (WS 2006), Innsbruck, Austria, 8. jan. 2007.
(Folien) (Handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Talk{ talk:brucker:verification:2007,
address = {Innsbruck, Austria},
author = {Achim D. Brucker},
day = {8},
event = {Invited guest lecture, part of the lecture ``Formal Specification and Verification'' (WS 2006)},
handout = {https://www.brucker.ch/bibliography/download/2007/talk-brucker-verification-2007-2x2.pdf},
isodate = {2007-01-08},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {jan},
slides = {https://www.brucker.ch/bibliography/download/2007/talk-brucker-verification-2007.pdf},
title = {Verification of {UML/OCL} Specifications with {HOL-OCL}},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-verification-2007},
year = {2007},
}