
By Achim D. Brucker.
Please cite this work as follows: A. D. Brucker, “A shallow embedding of OCL into Isabelle/HOL and its application to formal testing.” ETH Zurich, Switzerland, Mar. 09, 2004. Author copy: https://logicalhacking.com/publications/talk-brucker-shallow-2004/
@Misc{ talk:brucker:shallow:2004,
date = {2004-03-09},
title = {A Shallow Embedding of {OCL} into {Isabelle/HOL} and its
Application to Formal Testing},author = {Achim D. Brucker},
lecturer = {Achim D. Brucker},
address = {ETH Zurich, Switzerland},
event = {Meeting with the Information Security and Cryptography
Group},day = {9},
month = {mar},
year = {2004},
language = {USenglish},
note = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-shallow-2004/}},
pdf = {https://logicalhacking.com/publications/talk-brucker-shallow-2004/talk-brucker-shallow-2004.pdf},
}