pdfreaders.org

A Shallow Embedding of OCL into Isabelle/HOL and its Application to Formal Testing

Achim D. Brucker

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker:shallow:2004.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker. A Shallow Embedding of OCL into Isabelle/HOL and its Application to Formal Testing. Meeting with the Information Security and Cryptography Group, ETH Zurich, Switzerland, 9. mar. 2004.
(Folien) (Handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Talk{ talk:brucker:shallow:2004,
address = {ETH Zurich, Switzerland},
author = {Achim D. Brucker},
day = {9},
event = {Meeting with the Information Security and Cryptography Group},
handout = {https://www.brucker.ch/bibliography/download/2004/talk-brucker-shallow-2004-2x2.pdf},
isodate = {2004-03-09},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {mar},
slides = {https://www.brucker.ch/bibliography/download/2004/talk-brucker-shallow-2004.pdf},
title = {A Shallow Embedding of {OCL} into Isabelle/HOL and its Application to Formal Testing},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-shallow-2004},
year = {2004},
}