pdfreaders.org

HOL-OCL: Embedding OCL into Isabelle/HOL

Achim D. Brucker und Burkhart Wolff

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker.ea:hol-ocl:2003.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Burkhart Wolff. HOL-OCL: Embedding OCL into Isabelle/HOL. 1. OCL-Treffen, Karlsruhe, Germany, 17. jan. 2003.
(Folien) (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},
}