CASM presentation:paulweber2016abz

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.

presentation, talk, abz, 2016, ppaulweber, uzdun

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}}
}