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

by Achim D. Brucker

Keywords:
Categories:
Documents:

QR Code for talk:brucker:shallow:2004.Please cite this article as follows:
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.
(slides) (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},
}