ABZ'16 Conference Talk

P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. Conference Talk at the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, Linz, Austria, 27th May, 2016.
Document

BibTex
@Comment{ refnotes, namespace = "cite" }
@misc{paulweber2016abz-talk,
  title        = {{A} {M}odel-{B}ased {T}ransformation {A}pproach to {R}euse and {R}etarget {CASM} {S}pecifications},
  author       = {Paulweber, Philipp and Zdun, Uwe},
  howpublished = {ABZ'16 Talk Slides},
  month        = {May},
  year         = {2016},
  note         = {\url{https://casm-lang.org/presentation/paulweber2016abz.pdf}}
}