Achim D. Brucker
Schlüsselwörter:
Kategorien:
Dokumente:
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) ( )
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}, |